DESCRIPTION
Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.
As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols(interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.
WHAT'S NEW
Version 2.37.2
- Added support for parsing reexport/2 module directives when compiling Prolog modules as Logtalk objects. The predicate renaming operator as/2 found on SWI-Prolog and YAP is also supported.
- Added support for using grammar rule non-terminal indicators in the uses/2, multifile/1, reexport/2, and use_module/2 directives.
- Added support for parsing operator declarations in the module/2, export/1, reexport/2, and use_module/2 module directives.
- Added support for declaring and defining object and category multifile grammar rules.
- Corrected a bug where a failed load of a settings file could be reported as successful.
- Corrected a bug when compiling an object or category normal predicate that redefines a built-in Prolog meta-predicate.
- Added missing dynamic directives in the definition of the pseudo-objects "debugger" and "user".
- Eliminated message-sending overheads when sending messages to the pseudo- object "user".
- Allow the "debugger" built-in object to play the role of both a class and a prototype when being specialized or extended.
- Added support for compiling module-qualified arguments in calls to Prolog database and reflection built-in predicates.
- Added support for using multiple info/1 directives per entity and multiple info/2 directives per predicate (useful when compiling modules as objects).
- Added limited support for translating queries as initialization goals when compiling modules as objects (queries must be calls to locally defined predicates or to predicates referenced in use_module/2 directives).
- Optimized performance of meta-predicates whose meta-arguments are goals, not closures, when using static binding.
- Improved automatic generation of XML documenting files for parametric objects when no parameter names are given.
- Updated the SWI-Prolog config file in order to support the proprietary predicate directives format_predicate/2, noprofile/1, and volatile/1.
- Updated the SICStus Prolog, SWI-Prolog, and YAP config files in order to workaround broken meta-predicate declarations for the built-in predicates format/2-3 and in order to support the sloppy use of the ensure_loaded/1 directive within modules, rewriting it to a use_module/1 directive.
- Updated the ECLiPSe, SWI-Prolog, and YAP config files in order to support parsing of reexport/1 module directives.
- Updated the YAP config file in order to support parsing of the use_module/1 module directive.
- Updated the ECLiPSe config files in order to make available the predicate numbervars/3 and to support parsing of comment/2, import/2, inline/2, and set_flag/3 proprietary directives.
- Updated the SICStus Prolog config files in order to support parsing of the load_foreign_resource/1 proprietary directive.
- Updated the B-Prolog config file in order to support the new foreach/3-4 meta-predicates and the new table mode directive in B-Prolog 7.3. Added definition for the "prolog_version" read-only compiler flag.
- Updated the XSB config file in order to enable support for multifile directives (version 3.2 or later is required).
- Improved conversion guide for migrating Prolog module code to Logtalk.
- Improved documentation and examples of using the term and goal expansion mechanisms.
- The "lgt2*.sh" documentation shell scripts have been updated to ignore XML files that are not XML documenting files generated by the Logtalk compiler.
REQUIREMENTS
- Mac OS X 10.3.9 or later
- compatible Prolog compiler.
|
OTHER PEOPLE SUGGEST No similar products suggested yetSuggest something else: |
