Logtalk 3.7.0 Stable

Announcements of new Logtalk releases and events

Moderator: Paulo Moura

Post Reply
Paulo Moura
Logtalk developer
Posts: 464
Joined: Sat May 05, 2007 8:35 am
Location: Portugal
Contact:

Logtalk 3.7.0 Stable

Post by Paulo Moura » Wed Aug 31, 2016 5:27 pm

Hi,

Logtalk 3.7.0 is now available for downloading at:

http://logtalk.org/

This release is sponsored by Kyndi, Inc. and includes numerous improvements and fixes to the compiler, runtime, adapters, library, documentation, and developer tools. Highlights:

* Compiler and runtime:

- More expressive mode/2 predicate directive.
- New "unicode" read-only flag.
- Detect attempts to call existentially quantified goals outside the scope of bagof/3 and setof/3 calls.
- Fixes and improvements to make predicates.
- Reflection API predicate cross-referencing bug fix.

* Adapters:

- Fixes embedding Logtalk in a GNU Prolog generated executable.

* Library

- New user-extensible "type" object providing type-checking predicates for most common Logtalk and Prolog term types.
- New user-extensible "arbitrary" category providing predicates for generating arbitrary values for selected types.
- Improved random library.

* New "doclet" tool:

- Support for specifying a sets of goals and shell commands to (re)generate documentation for a project.

* Testing tool:

- Support for QuickCheck.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtal ... E_NOTES.md

Happy logtalking!
Paulo Moura
Logtalk developer

Post Reply

Who is online

Users browsing this forum: No registered users and 1 guest