Logtalk
Logtalk
3.31.0

5.0

Logtalk free download for Mac

Logtalk

3.31.0
16 October 2019

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.31.0: Logtalk compiler and runtime
  • Added:
    • Support for using the predicate_property/2 method to query proprietary predicate properties that result from proprietary predicate directives that are supported by the adapter files.
    • Support for using encoding/1 directives in included files, which may specify encodings different from the encoding of the main file.
    • Lint check for findall(_, Goal, _) goals which misuse findall/3 to backtrack into all solutions of Goal.
    • Lint check for redundant uses of the \+/1 control construct.
    • Support for compiling Prolog modules as objects when the modules export built-in predicates.
  • Fixed:
    • Generate a compiler error when an entity parameter is not a variable. Thanks to Paul Brown for the bug report.
    • The lint check on call/1 wrappers to skip warnings when the wrapped goal is a cut-transparent control construct.
Prolog adapter and integration files:
  • Added:
    • Internal predicate to all adapter files to declare additional, proprietary predicate properties.
    • Support to the SWI-Prolog and YAP adapter files to expand Prolog use_module/2 directives with an except/1 second argument.
    • Support to the SWI-Prolog and YAP adapter files to expand Prolog use_module/2 directives that specify predicate aliases.
    • Support to the ECLiPSe adapter file to expand module/1 directives to allow compiling modules as objects.
  • Fixed:
    • Workaround lack of a foreign predicate property in SICStus Prolog.
Documentation:
  • Handbook section on parametric objects.
  • Handbook section on Prolog integration and migration. Includes a discussion on how to use hook objects to deal with Prolog term-expansion mechanisms when compiling modules as objects.
  • Documentation of the lgtunit tool on checking test goal results.
  • Documentation of the logtalk_compile/1-2 and logtalk_load/1-2 built-in predicates.
Library:
  • The mode/2 directive for the difflist predicate as_list/2.
Tools:
  • Changed:
    • The code_metric::sub_library/2 protected predicate to return sub-library names instead of sub-library paths.
    • The code_metric::process_rlibrary/1 protected predicate to take as argument a library name instead of a library path.
  • Fixed:
    • Missing scope directive for the code_metric::process_library/1 protected predicate.
    • The code_metrics tool processing of predicates rdirectory_score/2 and rlibrary_score/2 for the noc_metric, nor_metric, size_metric, and upn_metric metrics.
    • Missing additional mode/2 directives for the lgtunit object set_text_input/1-3, set_text_output/1-2, and create_text_file/2 predicates which also accept a list of atoms.
    • Sample code in the lgtunit tool documentation on user-defined test dialects.
  • Cleanup:
    • Dead code in the diagrams tool.
Tests:
  • Added tests for encoding/1 directives in included files.
  • Improved - rewritten the ISO Prolog standard read_term/3 predicate tests to use assertions for easier debugging.
Examples:
  • Fixed the clustering and document_converter Java examples when using YAP as the backend Prolog compiler.
Ports:
  • Added port of ToyCHR by Gregory J. Duck. Experimental.
IDEs, text editors, and syntax highlighters support:
  • Updated:
    • Textadept editor syntax highlighting support. Contributed by Michael T. Richter.
    • Syntax test files to allow detecting highlighting flaws where an atom would be mistaken for a built-in predicate or a built-in directive. After a suggestion by Michael T. Richter.

1 Logtalk Reviews

Rate this app:

Quantumpanda
13 January 2015

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.
Like
Version 3.00.0
Quantumpanda
13 January 2015
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.
Like
Version 3.00.0
Free

5.0

App requirements: 
  • Intel 32
  • Mac OS X 10.3.9 or later
Category: 
Developer Website: 
Download(20 MB)MacUpdateInstall with MacUpdate

Downloaded & Installed 9,732 times