Logtalk 2.44.0 released

Announcements of new Logtalk releases and events

Moderator: Paulo Moura

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

Logtalk 2.44.0 released

Post by Paulo Moura » Wed Mar 07, 2012 1:38 am

Hi,

Logtalk 2.44.0 is now available for downloading. This release changes the semantics of complementing categories, allowing its use to patch existing object code, fixes two bugs in the processing of meta-calls, allows open lists of terminals in the body of DCG rules, adds two new examples, and improves support for the Vim text editor and for Exuberant ctags.

Upgrading from previous release:

* See the "UPGRADING.txt" file and the detailed release notes below for more details.

Known compatibility issues:

* B-Prolog: A bug in the delete_file/1 built-in predicate on Windows results in spurious messages when compiling and loading source files.
* YAP: Some bugs in multi-threading support prevent some thread examples from running.
* XSB: Some bugs in multi-threading support may prevent some thread examples from running.

Detailed release notes:

* Changed the semantics of complementing categories to allow patching both predicate declarations and predicate definitions of complemented objects. This is accomplished by ensuring that predicate declaration and definition lookups start at the complementing categories before looking into the complemented object itself or into its related entities.

* Updated the Logtalk compiler in order to generate a warning when compiling a complementing category for a complemented object that was compiled with support for complementing categories turned off.

* Allow the use of static binding when compiling messages for statically declared dynamic methods where both the method declaration and the method definition are found on static binding entities.

* Allow the use of static binding when compiling hook object definitions of the term_expansion/2 and goal_expansion/2 predicates.

* Corrected a bug in the processing of meta-calls for meta-predicates where the calling context would be set to "this" instead of "sender" whenever a meta-argument was one of the ::/2, {}/1, <</2, or :/2 control constructs. Thanks to Daniel Lyons for the bug report.

* Corrected a bug in the processing of meta-calls when using wrappers for the bagof/3 and setof/3 built-in methods where the meta-argument contains multiple existentially qualified variables.

* Removed support for the deprecated "startup_message" flag flags/1 value.

* Allow open lists of terminals in the body of grammar rules.

* Added (+)/1, min/2, max/2, acos/1, and asin/1 to the list of ISO Prolog built-in functions used by the portability flag. Added term_variables/2 to the list of ISO Prolog built-in predicates.

* Added an example, "patching", of using complementing categories to patch broken predicate declarations and predicate definitions of complemented classes and prototypes.

* Added an example of combining constraints defined in different objects to the "chr" example based on sample code posted by Gergö Barany on the SWI-Prolog mailing list.

* Added syntax coloring support for the min/2, max/2, acos/1, and asin/1 built-in functions and the term_variables/2 built-in predicate to all supported text editors and syntax highlighters. Updated the syntax highlighting test source file to include de facto standard Prolog module directives.

* Updated the support for Exuberant ctags. Declared predicates are now listed using the Functor/Arity notation.

* Updated the Vim syntax file for Logtalk, applying a patch contributed by Thilo Six.

Happy logtalking,

Paulo
Paulo Moura
Logtalk developer

Post Reply

Who is online

Users browsing this forum: No registered users and 1 guest