Logtalk

Updated the "coinduction" example in order to fix an issue where predicate clauses where coinductive predicates are called would precede the corresponding coinduction/1 directives.

Added support for preserving the scope information for operators declared using scope directives during compile time.

Updated the "attvars" example in order to also support B-Prolog.

Improved documentation of the "attvars" example.

Minor documentation updates.

Updated the XSB config file in order to support the compilation of modules as objects.

Updated the "attvars" example in order to support XSB.

Updated the XSB config file. XSB 3.3 or a later version is now required for compatibility with Logtalk.

Added to the "logtalk" built-in object two sets of utility predicates: decompile_predicate_heads/2-4 and decompile_predicate_indicators/2-4. Marked the decompile_predicate_head/4 and decompile_predicate_indicator/4 as deprecated. Changed the utility ... [More] predicates that compile/decompile predicate heads/indicators to no longer accept conjunctions in the first argument. [Less]

Updated the "encodings" example in order to ensure that the there is no whitespace before the encoding/1 directive.