v.3.25.0 Logtalk download 10.12

Main category / Development
Sub category / Compilers
Developer / Paulo Moura
Filesize / 18637
Title / Logtalk


◍ https://goolnk.com/x4Y5RJ ◌ Logtalk.vers.3.25.0.pkg

ADDED: Integration of the dead_code_scanner tool with the logtalk_make/1 target check.
Added a "coinduction" read-only flag.
Updated the ECLiPSe, SICStus Prolog, SWI-Prolog, and YAP config files in order to detect discontiguous predicate clause warnings and update the Logtalk warnings counter accordingly.
Turning on the "smart_compilation" compiler flag will now automatically switch off the "clean" flag.
I have found just a few days ago that I have uploaded to the Logtalk web server a development version of Logtalk 2.7.0 instead of the final one! To avoid confusions I decided to release a new version.
CHANGED: The format of the execution context terms is now defined on the logtalk built-in object as is the same for all backend Prolog compilers.
Official:

Best 10.12.5 https://macpkg.icu/?id=26980&kw=Logtalk-version-3.27.0-HY85u.zip | 18637 KB |
Featured! version https://macpkg.icu/?id=26980&kw=Logtalk_vers_3.28.0_yeP87.zip | 21059 KB |
Best 10.11 https://macpkg.icu/?id=26980&kw=v.3.11.2_Logtalk_2OV.dmg | 17146 KB |


Key list Logtalk 3.25.0
MTNKW-2I299-KJC2M-QAZE8
C1E91-I75HN-JXMNZ-A9RFA
N47AX-63VBS-XKFSM-FDYXR


ADDED: Unit tests for the uses/2 predicate directive.
IMPROVED: The lgtunit tool now allows the specification of tests that for some reason should be skipped by prefixing the test clause head with the (-)/1 operator.
REMOVED: Experimental support for the annotation expansion predicates. This functionality can be implemented, although with more coding work, using the term- and goal-expansion predicates.
Logic Programming, Constraints, and Verification
Updated the Logtalk compiler to workaround file path problems with back-end Prolog compilers (e.g. SICStus Prolog) where calls to the open/3-4 built-in predicate are not always relative to the current working directory.
Updated the POSIX (un)install shell scripts to print the version number of the Logtalk release being (un)installed.
FIXED: Bug in the diagrams tool where references to multifile predicates for parametric objects would be printed with internal variable names for the parameters.
IMPROVED: Handbook cross-referencing.

(16586 KB) Software reRA ver 3.10.9 Logtalk 3.14.0 Version for 10.13.5
(15841 KB) Free MHCK Logtalk 3.10.8 3.11.0 Recomended! version
(18823 KB) Free ver 3.20.0 Logtalk 2N4eo 5.25.0 New! version
(18077 KB) Update zyFg5p Logtalk ver. 3.10.7 3.27.0 Recomended! version
(21059 KB) gajXhG vers 3.28.0 Logtalk 3.27.0 to Mac Pro
(20314 KB) Free 5C4 VERS.3.23.0 LOGTALK 3.25.3 for Mac mini
(15841 KB) Update Logtalk vers 4.25.0 Zv3I1S 5.25.0 Best to Mac

Featured to OS X JMSE.LIFECRAFT.V.2.1.4.PKG {29767 KB} 2.3.3
to Mac mini version.6.0.523.0.GeoGebra.Classic.gC1dkU.dmg {84202 KB} 6.0.496.0