Navigation:
Logtalk 3.86.0 freeware
New
Version
SWI-Prolog, developed by Jan Wielemaker, is a robust and versatile open-source Prolog environment that excels in logic programming and artificial intelligence applications. With a rich set of libraries and tools, it supports both novice and experienced developers in building complex applications. Its user-friendly interface, extensive documentation, and active community make it an ideal choice for educational purposes and research. SWI-Prolog's seamless integration with other programming languag ... ...
| Author | Paulo Moura |
| Released | 2024-12-18 |
| Filesize | 12.30 MB |
| Downloads | 694 |
| OS | Windows 11, Windows 10 32/64 bit |
| Installation | Instal And Uninstall |
| Keywords | logic programming, object-oriented programming, Prolog implementation, object-oriented, logic, compiler, compile |
| Users' rating (16 rating) |
Logtalk Free Download - we do not host any Logtalk torrent files or links of Logtalk on rapidshare.com, depositfiles.com, megaupload.com etc. All Logtalk download links are direct Logtalk download from publisher site or their selected mirrors.
| 3.86.0 | Dec 18, 2024 | New Release | Logtalk compiler and runtime: ADDED: Experimental logtalk::message_prefix_file/6 hook predicate to the message printing mechanism. FIXED: False left-recursion warning when compiling a grammar rule for a multifile non-terminal that calls a local non-terminal with the same indicator. Prolog adapter and integration files UPDATED: Ciao Prolog adapter file to pretend that modules are supported to allow loading libraries and examples that require file use_module/1 directives. Documentation: ADDED: Notes on encrypting applications using XVM. FIXED: Multiple Handbook grammar and spelling typos. FIXED: Multiple man pages grammar and spelling typos. Library: FIXED: The os::sleep/1 predicate for XSB to also accept floats. Tools: CHANGED: The lgtunit tool test compilation warning and error messages to include the file context for better integration with other developer tools. CHANGED: The diagrams tool now uses a Unicode glyph for the magnifying lens instead of a PNG image. CHANGED: The diagrams tool now uses a Graphviz box shape for Prolog modules instead of a tab, which is now only used for directories and libraries. REMOVED: Deprecated lgt2svg.js script from the diagrams tool. ADDED: Experimental diagrams tool support for the d2 graph language. UPDATED: The diagrams tool to support graph languages such as d2 where the node identifiers are not global. UPDATED: The diagrams tool to also support the PearAI, Windsurf, PyCharm, and IDEA text editors when generating diagrams with local file links. UPDATED: The tutor tool to also explain duplicated predicate/non-terminal reference linter warnings. UPDATED: The tutor tool to call the new logtalk::message_prefix_file/6 hook predicate to support VSCode displaying warnings and errors augmented with explanations. UPDATED: The help tool for the new logtalk::message_prefix_file/6 hook predicate. FIXED: The diagrams tool to also generate an instance/class caption for metaclasses. FIXED: Bug in the diagrams tool where repeated nodes could b |
| 9.2.8.1 | Nov 18, 2024 | New Release | FIXED: Handling return values in stack expansion. Introduce more bool to correctly distinguish functions returning true/false/*_OVERFLOW from those raising exceptions and only returning true/false. FIXED: prolog_trace_interception/4: setting up the hook good crash. |
| 3.85.0 | Nov 12, 2024 | New Release | Logtalk compiler and runtime: CHANGED: The logtalk_load_context/2 built-in predicate to type-check the key argument. CHANGED: Attempting to define an entity/predicate alias equal to the original entity/predicate is now a compilation error instead of simply a warning. CHANGED: Reclassified the underscore_variables flag as a backend flag instead of a linter flag. ADDED: New meta-flag, linter, to manage the values of all the linter flags as a group. ADDED: New linter flag, encodings, to control source file text encoding warnings. ADDED: New linter flag, general, for warnings that are not controlled by a specific flag. IMPROVED: Print a linter warning on redundant entity qualification in predicate directives. IMPROVED: Detect and report as compilation errors use_module/1-2 and uses/1-2 directives when compiling a protocol. IMPROVED: Report as compilation errors instead of compilation warnings use_module/1-2 directives when not compiling a module as an object while using a backend that doesn’t support modules. IMPROVED: Report as compilation errors export/1 and reexport/2 directives when not compiling a module as an object. FIXED: The compiler to prevent trying to compile a Prolog use_module/1 directive as a Logtalk directive when compiling a module as an object. FIXED: Detection of a file trying to recursively load itself to not throw a permission error when reloading a file that previously failed to load. FIXED: Misleading error when compiling dynamic/1, discontiguous/1, and multifile/1 directives with arguments with redundant entity qualification. Prolog adapter and integration files UPDATED: Trealla Prolog adapter file to require version 2.59.21 or later. Documentation: IMPROVED: Documentation of the issue_creator tool. IMPROVED: The Handbook documentation on performance, adding a section on circular references. IMPROVED: The Handbook documentation on the logtalk_make/0-1 built-in predicates. UPDATED: The Handbook documentation on the underscore_variables flag. Lib |
