Logtalk for Mac

Logtalk compiler and runtime

• Added: Predicates logtalk::loaded_files_topological_sort/1-2 for sorting loaded files by their dependencies.
• Improved: The implementation of the logtalk_make/0-1 predicates for the target all to avoid or minimize compilation warnings due to out-of-order loading of modified source files. See the make tool documentation for details.
• Fixed: Printing of the default flag values at startup to list the prolog_dialect flag as a read-only flag.
• Fixed: The linter warning for the use of Logtalk or Prolog top-level shortcuts as directives ignored the portability flag.

Prolog adapter and integration files

• Changed: Trealla Prolog adapter file to require version 2.84.29 or later.
• Updated: Eclipse adapter file to use the new read_term/3 predicate line/1 option introduced in version 7.2#5 for accurate read term starting lines.
• Fixed: Cxprolog adapter file to workaround its implementation of the predicate_property/2 built-in predicate returning properties for unknown predicates.
• Fixed: Quintus Prolog adapter file to avoid some spurious suspicious call warnings when loading tools such as lgtunit.
• Fixed: Quintus Prolog adapter file missing expansions for some arithmetic functions.

Documentation

• Added: A “Known issues” section to the documentation of the make tool.
• Updated: The Handbook on finding an optimal file loading order using the new logtalk::loaded_files_topological_sort/1-2 predicates.

Library

• Improved: The os::time_stamp/1 predicate implementation for Sicstus Prolog, Trealla Prolog, Xsb, and Yap.
• Improved: Tests for the os library predicates.
• Updated: The format library linter checker to be aware of the ~W control sequence that uses two arguments.

Tools

• Improved: The logtalk_doclet.sh script now kills all created child processes on exit.
• Fixed: Syntax error when loading the diagrams tool using the Gnu Prolog backend.
• Fixed: The logtalk_doclet.sh and logtalk_tester.sh scripts to also check for the gnutimeout alternative name for the Gnu coreutils command timeout. Thanks to Andrew Davison for the bug report.

Ides, text editors, and syntax highlighters support

• Added: Support for the Context7 Mcp server via a context7.json file.
• Added: Vscode support predicates infer_public_predicates/2 and files_topological_sort/3.
• Fixed: The Vscode support to workaround the non-compliant implementation of multifile predicates in Ciao Prolog.