on 10.11.6 Logtalk.pkg install

Main category / Development

Sub category / Compilers

Developer / Paulo Moura

Filesize / 18637

Title / Logtalk

♦

Logtalk_vers.3.25.0.pkg

Updated the "expanding" built-in protocol in order to declare the predicates goal_expansion/2 and term_expansion/2 as both dynamic and multifile.

Updated the "operators" example in order to avoid a unit test failure when reloading the "" source file.

alpha / GNU/Linux

Improved compile-time error-checking of calls to the parameter/2 built-in execution-context method.

Updated the POSIX (un)install shell scripts to print the version number of the Logtalk release being (un)installed.

We provide both source and binary distributions for GNU Prolog.

[19382 kb]

[17705 kb]

[14909 kb]

ADDED: Utility predicates approximately_equal/3, essentially_equal/3, tolerance_equal/4, and =~=/2 to the number object. These predicates are non type-checked variants of the same predicates found in the lgtunit tool. Logtalk The compilation mode of an entity (static/dynamic) is now stored in the corresponding entity table (implying recompilation of all entities). FIXED: The lgtdoc tool now also prints multifile predicate properties and predicate coinduction templates. Improved the built-in debugger by making explicit the calls to the (+)/1 built-in predicate. Corrected a Logtalk compiler bug where a redefinition of a proprietary built-in meta-predicate (declared in the config files) would be ignored. FIXED: During compilation, when saving references to categories for checking for unknown categories, use a template for parametric categories. Updated the user and reference manuals to describe the new automatic documenting features.

| 20500 KB | Free

3.25.1

| 16027 KB |

3.25.4

| 15468 KB | App

3.11.0

| 18264 KB | Download

5.25.0

| 16400 KB | Get

3.24.0

| 15841 KB | Download

3.13.0

| 18637 KB | Update

3.27.0

4.1.1

4.4.0