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

Logtalk is an object-oriented logic programming language that can use most modern 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 July 4)
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 release of Logtalk (3.00.0-b8) and the User and Reference manuals
Developers
Logtalk developer support (git repository, issue tracker, 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