Logtalk 9.2.7.1 freeware
... 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 | Jan Wielemaker |
Released | 2024-09-26 |
Filesize | 13.00 MB |
Downloads | 671 |
OS | Windows 11, Windows 10 32/64 bit, Windows 8 32/64 bit, Windows 7 32/64 bit, Windows Vista, Windows XP 32/64 bit |
Installation | Instal And Uninstall |
Keywords | Prolog environment, Prolog compiler, programming environment, Prolog, compiler, environment, syntax |
Users' rating (14 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.
9.2.7.1 | Sep 26, 2024 | New Release | DOC: Update 32/64 bit notes FIXED: #1317 thread_exit/1 can crash after changes to thread_signal/2. APPLE: Add code signing for creating the .dmg image The image is signed if $CODESIGN_ID is set to the certificate id to be used with codesign -s. Unfortunately, this is not the whole story. As a result, we can no longer load shared object that are not part of the disk image, which means we cannot use Xquartz, Python or Java. |
3.83.0 | Sep 24, 2024 | New Release | Logtalk compiler and runtime: CHANGED: The representation error argument when calling context/1 built-in method would create a cyclic term from cyclic_term to acyclic_term. CHANGED: The exception term when trying to define a predicate inside a protocol to use a permission type of predicate instead of clause. CHANGED: All compiler domain errors for consistency errors to use the new consistency_error/3 built-in method. ADDED: New consistency_error/3 built-in method. IMPROVED: Linter warnings for trivial fails to distinguish between predicate and non-terminal goals. IMPROVED: Compiler warnings on missing scope directives for non-terminals. IMPROVED: Internal documentation of the compiler and runtime. FIXED: When calling threaded engines built-in predicates using a backend that doesn’t support engines, throw a resource_error(engines) instead of a resource_error(threads) error. FIXED: Compiler redundant check if a recursive call to a meta-predicate complies with the expected number of additional arguments for closures. FIXED: Compiler bug when using a uses/2 directive to change the order of the arguments of a predicate and using the predicate alias as a closure. FIXED: Disjunction optimization bug when the left-side is a variable and the disjunction is an argument of the call/1 control construct. FIXED: Case where the compiler would report the wrong error when a source file defined category declares a predicate or a non-terminal dynamic textually after its definition. FIXED: Protect the linter check for goals that are always true or false from unexpected exceptions and report them instead of aborting compilation with an error. Prolog adapter and integration files: UPDATED: The XVM adapter file with additional candidate built-in predicates for checking tautology and falsehood goals. Documentation: ADDED: Handbook section with guidelines for describing predicates in info/2 directives. IMPROVED: Handbook documentation of the representation_error/1, resource_error/1, exist |
9.2.7.1 | Sep 3, 2024 | New Release | FIXED: Type for PL_get_intptr_ex(). Breaks on Win32 |