Logtalk
Logtalk
3.42.0

5.0

Logtalk free download for Mac

Logtalk3.42.0

26 October 2020

Object-oriented logic programming language.

Overview

Logtalk is an Open-Source, object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in-the-large.

Logtalk supports modern code encapsulation and code reuse mechanisms without compromising the declarative programming features of Prolog. Logtalk is implemented in highly portable code and can use most modern and standards compliant Prolog implementations as a back-end compiler. The Logtalk distribution features portable libraries and portable assertions, documenting, diagraming, and unit testing tools, plus extensive code editing and publishing support. It also includes extensive documentation and a large number of programming examples.

What's new in Logtalk

Version 3.42.0:

Full release notes are available in developer's blog

Logtalk compiler and runtime
  • Added:
    • New logtalk_load_context/2 predicate variables and singletons keys for accessing the variables and the singleton variables of the term being compiled
  • Improved:
    • Generalize linter checks for tautologies and falsehoods in non-ground var/1, nonvar/1, and ground/1 goals to check for singleton variables
  • Fixed:
    • Increment the warnings counter when reporting term-expansion and goal-expansion errors
    • Bug in the logtalk_make/0-1 predicates when reloading a failed file or a main file due to an updated included file that could result in multiple entries for the runtime table of loaded files
    • The user.lgt file to workaround embedding errors with GNU Prolog
Prolog adapter and integration files
  • Added:
    • Experimental support for LVM as a backend compiler
    • Double-clickable *.command Terminal.app files for starting Logtalk with LVM or Tau Prolog backend compilers on macOS
  • Updated:
    • The list of candidate goals for tautologies and falsehoods linter checks for GNU Prolog, SWI-Prolog, and YAP
  • Fixed:
    • Set the encoding_directive flag to unsupported for Tau Prolog as its implementation of the standard open/4 predicate doesn’t support setting the stream encoding
    • The GNU Prolog adapter file to provide dummy definitions for the Prolog database predicates that take a reference argument to avoid embedding errors
Documentation
  • Improved:
    • Handbook description of entity and predicate properties that include line numbers information
    • Man pages formatting of script options
    • The man page for the logtalk_tester shell script
  • Upadted:
    • Handbook documentation of the logtalk_library_path/2 predicate

Join over 500,000 subscribers.

Subscribe for our newsletter with best Mac offers from MacUpdate.

How would you rate Logtalk app?

1 Reviews of Logtalk

Quantumpanda
13 January 2015
Version: 3.00.0

Most helpful

Why doesn't MacUpdate Desktop inform me of updates to LogTalk? MUD ought to be able to recognize the presence of any software the website lists.
(0)
Quantumpanda
13 January 2015
Version: 3.00.0
Why doesn't MacUpdate Desktop inform me of updates to LogTalk? MUD ought to be able to recognize the presence of any software the website lists.
(0)