X

Logtalk for Mac

By Logtalk Free

Key Details of Logtalk

  • Write your programs in Logtalk
  • Last updated on 10/08/20
  • There have been 2 updates within the past 6 months
  • The current version has 0 flags on VirusTotal badge_icon

Developer's Description

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

Full Specifications

What's new in version 3.41

  • 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.
  • FIXED: The compilation of file level ensure_loaded/1 and use_module/1-2 directives when using backend Prolog compilers such as Tau Prolog that don't support calling them as predicates.

General

Release October 8, 2020
Date Added October 8, 2020
Version 3.41

Operating Systems

Operating Systems Macintosh
Additional Requirements
  • macOS Catalina
  • macOS Mojave
  • macOS High Sierra
  • macOS Sierra
  • OS X El Capitan
  • OS X Yosemite
  • OS X Mavericks
  • OS X Mountain Lion

Popularity

Total Downloads 749
Downloads Last Week 1
Report Software

Related Software

Intel Fortran Compiler Professional

Free to try
Intel Fortran Compiler Professional

Berkeley UPC

Free
Berkeley UPC
Agena logo

Agena

Free
Agena
Objective-Basic logo

Objective-Basic

Free
Objective-Basic
Promo image for CNET Shopping

Get the best price on everything

Shop your favorite products and we’ll find the best deal with a single click. Designed to make shopping easier.