Home
[⊨] Logtalk
Open source object-oriented logic programming language

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it 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.

Starting points:

News
Find the latest news about Logtalk (last updated on April 10)
Features
Summary of Logtalk main features
Compatibility
List of Logtalk compatible back-end Prolog compilers
Documentation
Publications, library, examples, manuals, tutorial, FAQ, release notes, contributors, and more
Download
Download the latest stable (2.44.1) or development (3.00.0) releases of Logtalk and the user and reference manuals
Developers
Logtalk developer support (git repository, development tools, and more)
Support & feedback
Sign the Logtalk mailing list, register, get support, give feedback, or leave your suggestions
Discussion forums
Logtalk community discussion forums
Links
Links to related resources