Logtalk
Logtalk
3.50.0
5.0
0.0
Logtalk free download for Mac

Logtalk for Mac3.50.0

01 September 2021

Object-oriented logic programming language.

What is Logtalk for Mac

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.50.0:
Logtalk compiler and runtime
  • Added: Support for the see_also key to the info/2 predicate directive.
  • Fixed: The definition of the user built-in object to also create an object events queue when threaded engines are supported but not other multi-threading features.
Prolog adapter and integration files
  • Added: Commented out code to the SICStus Prolog adapter file for disabling compilation messages for the intermediate Prolog files generated by the Logtalk compiler.
  • Updated: The LVM adapter file for its proprietary disk_predicate and spy predicate properties and to expand its disk_predicate/3 directive and define_disk_predicate/3 predicate.
  • Updated: The JIProlog adapter file to require 4.1.7.1 or later version.
  • Updated: The Trealla Prolog adapter file to require 1.11.25 or later version.
  • Fixed: The adapter files expansion code for directives to check that the directives argument is bound.
Documentation
  • Added: An example to the lgtunit tool documentation on generating reports with links to the tests source files and line numbers.
  • Improved: Handbook section on documenting applications.
  • Improved: Handbook documentation of the use_module/1 and threaded/0 directives.
  • Improved: Handbook documentation of the multi-threaded, threaded engines, logtalk_library_path/2 and logtalk_compile/1-2 predicates.
  • Improved: Man page for the logtalk_tester shell script.
  • Improved: The lgtunit tool documentation on suppressing tested predicates output and on generating Allure reports.
  • Improved: The diagrams tool documentation and examples.
  • Updated: The man page for the lgt2svg shell script.
  • Fixed: Typo in the Handbook documentation of the phrase/2-3 built-in method exception conditions.
Library
  • Changed: The library list object no longer uses the backend built-in length/2 predicate when available due to differences between backend implementations.
  • Added: Additional tests for the arbitrary and types libraries to check that the main predicates are deterministic.
  • Fixed: The meta_compiler library to include a copy of the meta library tests to avoid names clashes when generating Allure reports from test results.
  • Fixed: Workaround JIProlog file_attributes/7 predicate succeeding for non-existing files in the implementation of the os library predicates directory_files/2, file_modification_time/2, and file_size/2.
  • Fixed: Workaround JIProlog directory_files/2 predicate succeeding for non-existing directories in the implementation of the os::directory_files/2 library predicate.
Tools
  • Added: Command-line option to the logtalk_tester script to pass a base URL for generating links to test files using the new tests_base_url user-defined flag that is created by the lgtunit tool test results export formats.
  • Added: Support for the Saxon XSLT processor to the lgtdoc tool lgt2rst, lgt2html, lgt2md, and lgt2txt scripts.
  • Added: A custom.css file to the lgtdoc tool for use with the lgt2rst scripts when called with the -s option to customize the Sphinx Read the Docs theme.
  • Improved: The lgt2rst scripts now supports a -m option to generate Sphinx HTML files without requiring a separate step.
  • Improved: The diagrams tool to also normalize URL prefixes in predicate options.
  • Improved: Performance of the diagrams tool tests by generating diagrams for a smaller library.
  • Updated: The lgt2svg scripts provided by the diagrams tool to allow specifying the Graphviz command to use.
  • Updated: The lgt2svg scripts provided by the diagrams tool to use the dot command -ofile option for Improved Windows compatibility.
  • Updated: The lgtunit tool xUnit.net v2 XML format report to generate links to test files when using the new logtalk_tester script command-line option to pass the base URL.
  • Updated: Mention the GNU coreutils package requirement for the timeout option in the help for the logtalk_tester script.
  • Updated: The lgtdoc tool to process the new see_also key for the info/2 predicate directive.
  • Fixed: The lgtunit tool xUnit.net v2 XML format report to append the tests object identifier to the test names to distinguish tests run with different parameterizations.
  • Fixed: Sample Sphinx template provided by the lgtdoc` tool for compatibility with recent Sphinx versions.
  • Fixed: Tests driver file for the arbitrary library to use the local source file.
Examples
  • Improved: Avoid printing expected errors and warnings when running the assumptions, lambdas, securemp, and closed_world_assumption example tests.
  • Fixed: Loading of the securemp example to actually load all the demo broken meta-predicate definitions.
  • Fixed: The lambdas_compiled and metapredicates_compiled examples to include copies of, respectively, the lambdas and metapredicates example tests to avoid names clashes when generating Allure reports from test results.
Tests
  • Removed: Duplicated tests for the standard false/0 predicate.
  • Added: Additional tests for the de facto standard forall/2, format/2-3, and length/2 predicates.
  • Added: Additional tests for the standard atom_chars/2, atom_codes/2, atom_concat/3, number_chars/2, number_codes/2, stream_property/2, and sub_atom/5 predicates. Some of them taken or derived from the WG17 test suite.
  • Added: Additional tests for the standard keysort/2 and sort/2 predicates.
  • Added: Additional tests for the standard floating-point number syntax.
  • Added: Additional tests for the setup_call_cleanup/3 predicate.
  • Added: Additional unit tests for the 0’\Char number notation.
  • Added: Additional tests for the de facto standard \uXXXX and \UXXXXXXXX syntax.
  • Added: Additional tests for the syntax of atoms, compound terms, and variables using Unicode glyphs.
  • Improved: Avoid printing expected warnings when running the encoding/1 directive tests.
  • Improved: Tests for the write_term/3 predicate option `variable_names/1.
  • Updated: The tests for the standard open/4 and write_term/2-3 predicates for the for the changes in the ISO/IEC 13211-1 Technical Corrigendum 3:2017 in options checking where an instantiation error is now expected instead of a domain error.
  • Updated: Allow the Unicode encodings test set to be run with Trealla Prolog.
  • Renamed: Tests for the standard float/1 function and predicate to workaround tests with the same names clashing when generating an Allure report from test results using the xUnit.net v2 XML output format.
  • Renamed: Tests for the set_logtalk_flag/2 directive and predicate to workaround tests with the sane names clashing when generating an Allure report from test results using the xUnit.net v2 XML output format.
  • Fixed: Tests for the threaded engine predicates to also run with ECLiPSe.
IDEs, text editors, and syntax highlighters support
  • Fixed: Parsing of compiler error and warning messages when building with the Sublime Text editor.
Installers and installation scripts
  • Updated: The Windows installation script to also detect SICStus Prolog 4.7.x versions.
Try our new feature and write a detailed review about Logtalk. All reviews will be posted soon.
Write your thoughts in our old-fashioned comment
MacUpdate Comment Policy. We strongly recommend leaving comments, however comments with abusive words, bullying, personal attacks of any type will be moderated.
0.0
(0 Reviews of )
There are no reviews yet
Quantumpanda
Quantumpanda
Jan 13 2015
3.00.0
0.0
Jan 13 2015
0.0
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.
Free
5.0
0.0
App requirements: 
  • Intel 64
  • OS X 10.10.0 or later
  • Compatible Prolog compiler
License: 
FreeAbsolutely Free

Downloaded & Installed 9,987 times

How would you rate Logtalk?
Similar apps
Python
Object-oriented programming language.
Is this app is similar to Python? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
Processing
Programming language for electronic arts.
Is this app is similar to Processing? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
Agena
Procedural programming language.
Is this app is similar to Agena? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
Racket
Popular variant of the Scheme programming language.
Is this app is similar to Racket? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
Scala
The Scala Programming Language.
Is this app is similar to Scala? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes