Logtalk
Logtalk
3.41.0

5.0

Logtalk free download for Mac

Logtalk3.41.0

01 September 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.41.0:
Logtalk compiler and runtime:
  • Changed: Deleted the no longer used read-only prolog_conformance flag.
  • Added: Convenience error throwing built-in method uninstantiation_error/1.
  • Added: Linter checks for tautologies and falsehoods in non-ground var/1, nonvar/1, and ground/1 goals.
Prolog adapter and integration files:
  • Updated: The Tau Prolog adapter file to use the new stream_position_data/3 built-in predicate.
  • Updated: The taulgt shell script to accept -g and --goal command-line options. Changes contributed by José Antonio Riaza Valverde.
  • Fixed: The Fix Tau Prolog and template adapters for the internal predicate '$lgt_logtalk_prolog_encoding'/3.
Documentation:
  • Added: Documentation for the new uninstantiation_error/1 built-in method.
  • Updated: The man page of the Tau Prolog integration script, taulgt for the new command-line options to specify an initialization goal.
  • Updated: The man page of the logtalk_doclet and logtalk_tester shell scripts for the Added support for using Tau Prolog as the backend compiler.
  • Fixed: Generate Handbook and API documentation using Sphinx 3.2.0 as it includes a fix for a bug where invalid ePub files would be generated.
Library:
  • Added: Definition for the os library predicates pid/1, date_time/7, directory_files/2, and file_permission/2 for Tau Prolog.
  • Fixed: Definition of the os::sleep/1 predicate for Tau Prolog.
  • Fixed: Definition of the os::file_permission/2 predicate for Quintus Prolog and SICStus Prolog.
Tools:
  • Updated: The debugger, diagrams, lgtunit, and ports_profiler tools for Tau Prolog support.
  • Updated: The logtalk_doclet and logtalk_tester shell scripts to support using Tau Prolog as the backend compiler.
  • Updated: The help tool for the new use_module/1 directive and the new uninstantiation_error/1 method.
Tests:
  • Added: Tests for the new uninstantiation_error/1 built-in method.
  • Added: Additional tests for the (=..)/2 Prolog standard predicate.
  • Added: Additional tests for the current_input/1 and current_output/1 Prolog standard predicates.
  • Added: Additional tests for Prolog standard list syntax.
  • Added: Additional tests for Prolog standard character input/output predicates for checking calls with a bound argument.
  • Added: Additional tests for the close/1 Prolog standard predicate for checking that the standard input/output streams are restored after closing redirections.
  • Added: Additional tests for the write_term/3 Prolog standard predicate for checking output of lists with elements that are conjunctions.
  • Improved: Tests for the catch/3 and cut control constructs.
  • Improved: Tests for the bagof/3, setof/3, and read_term/3 Prolog standard predicates.
  • Fixed: Test for the keysort/2 Prolog standard predicate.
  • Fixed: Some tests for the atomic/1 Prolog standard predicate.
  • Fixed: Duplicated test for the atom_concat/3 Prolog standard predicate.
  • Fixed: Test for the Prolog standard get_byte/2 built-in predicate.
  • Fixed: Tests for the Prolog standard number_codes/2 built-in predicate to set the double_quotes flag to codes as required. Thanks to José Antonio Riaza Valverde for the bug report.
IDEs, text editors, and syntax highlighters support:
  • Added: Syntax highlighter support to the new uninstantiation_error/1 built-in method.

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)