We stand with Ukraine to help keep people safe. Join us
Logtalk
Logtalk
5.0
0.0
Logtalk free download for Mac

Logtalk

Version 3.58.0

Object-oriented logic programming language.

5.0
Based on 1 user rateRead reviews & comments
Free
Absolutely Free

Logtalk 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 version 3.58.0

Updated on Oct 04 2022

Logtalk compiler and runtime:
  • Added: Compilation warning when compiling a logtalk_load_context/2 goal with an invalid key.
  • Added: Linter warning for non-terminals called as predicates instead of via the phrase/2-3 built-in methods.
  • Fixed: Detect conflicts between dynamic/1 directives and uses/2 and use_module/2 directives.
  • Fixed: The compiler to not throw an instantiation error when the body of a clause is a variable; these clauses are conformant with the ISO Prolog Core standard and this fix also ensures consistency of the handling of naked variables in transparent control constructs.
Prolog adapter and integration files:
  • Added: Support for calling LVM disk predicate built-in predicates from categories.
  • Updated: The Trealla Prolog adapter file to require version 2.2.5 or later.
Documentation:
  • Improved: Handbook documentation of the initialization/1 directive and the logtalk_load_context/2 built-in predicate.
  • Updated: List of required dependencies to build the Handbook final formats.
Library:
  • Changed: Use a portable os::is_absolute_file_name/1 predicate definition for all backends for consistency and improve the predicate documentation.
  • Removed: Support for the type clause_or_partial_clause from the types and arbitrary libraries.
  • Added: New [] and {} edge cases for atoms to the arbitrary library.
  • Fixed: The os library delete_directory/1, directory_files/2, environment_variable/1, and file_permission/2 predicates for YAP.
  • Fixed: The definition of the type clause in the types and arbitrary libraries to allow a naked variable body as per the ISO Prolog Core standard.
Tools:
  • Changed: The help tool to provide a dedicated entity/1 predicate for help on entities (objects, protocols, or categories).
  • Changed: The lgtunit::quick_check/3 predicate now uses reified error/4 and failed/3 results that include as last argument the test seed.
  • Changed: The lgtunit tool now reports an error on wrong QuickCheck options instead of silently using default option values.
  • Added: A convenient global list of most of the developer tool requirements per operating-system.
  • Added: Experimental support to the help tool to browse and search inline at the top-level interpreter the Texinfo versions of the Handbook and APIs documentation. Currently requires Ciao Prolog, ECLiPSe, LVM, SICStus Prolog, SWI-Prolog, Trealla Prolog, or XSB as the backend running on a POSIX system.
  • Added: The lgtunit QuickCheck test dialects and predicates now also accept a pb/2 option to show an ASCII progress bar.
  • Improved: The lgtunit::quick_check/1-2 predicates now also print the test seed when a counter-example is found.
  • Improved: The lgtunit tool documentation of the test/2-3 test dialect valid outcomes.
  • Improved: The help tool feedback when the queried library or entity is not found.
  • Improved: The tutor tool explanation for the linter warning on findall/3 goals used to backtrack over all solutions of a goal without collecting them.
  • Updated: The tutor tool for the new linter warning on non-terminals being called as predicates.
  • Fixed: Missing message tokenization in the packs tool when printing a pack/registry installation directory.
Examples:
  • Updated: Reorganize all Net-Clause Language (NCL) examples in the new examples/ncl directory, including the figures individual example.
  • Updated: The errors example to illustrate the new linter warning on non-terminals being called as predicates.
  • Fixed: Typo in the sample queries of the document_converter example.
  • Fixed: The adventure and bench examples linter warnings for non-terminals called as predicates.
Tests:
  • Added: Additional tests for the atom_concat/3, number_chars/2, number_codes/2, and setof/3 standard Prolog predicates.
  • Added: Additional test for the optional '|' infix operator for a compliant definition.
  • Added: Additional tests for double-quoted terms syntax (escaped double-quote).
Ports:
  • Added: Port of FCube: An Efficient Prover for Intuitionistic Propositional Logic by Mauro Ferrari, Camillo Fiorentini, and Guido Fiorino.
Contributions:
  • Fixed: The xml_parser contribution linter warnings for non-terminals called as predicates.
IDEs, text editors, and syntax highlighters support:
  • Added: Code snippets for Emacs. Contributed by Paul Brown.
Installers and installation scripts:
  • Added: Experimental PowerShell version of the built_manuals.sh script.
  • Added: Experimental embedding script for Ciao Prolog.
  • Improved: Documentation of the sample embedding scripts.
  • Improved: Simplified embedding scripts for ECLiPSe.
  • Updated: The manual install script and the Linux RPM installer to create links to the .info versions of the Handbook and APIs documentation in the default info directory.
  • Updated: The release build script to include all final formats for the Handbook and APIs documentation in the generated archives and installers.
  • Fixed: The update_man_html_versions.sh, update_html_docs.*, and update_svg_diagrams.* scripts to allow running them from any directory.

Information

License

Free

Size

17.4 MB

Developer’s website

https://logtalk.org/

Downloads

10122

App requirements

  • Intel 64
  • Apple Silicon
  • OS X 10.10.0 or later
  • Compatible Prolog compiler
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
Absolutely Free
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