ANN: Logtalk 3.7.0 released

[Paulo Moura]

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/logtalk3/blob/master/RELEASE_NOTES.md

Happy logtalking!

Paulo