[ ⊨ ] Logtalk
Declarative object-oriented logic programming language

Logtalk extends and leverages the Prolog language with modern code encapsulation and code reuse mechanisms without compromising its declarative programming features.

Implemented as a trans-compiler in highly portable code, it can use most modern and standards compliant Prolog implementations as a backend compiler.

As a multi-paradigm language, it includes support for modules, prototypes, classes, protocols (interfaces), categories (components and hot patching), event-driven programming, and high-level multi-threading programming. Distributed under a commercial friendly license, it includes full documentation, portable libraries, portable developer tools, and a large number of programming examples to help get you started.

Starting points:

Find the latest news about Logtalk (last updated on September 5)
Summary of Logtalk main features
List of compatible back-end Prolog compilers
Publications, library, examples, manuals, license, FAQ, release notes, contributors, and more
Download the latest release of Logtalk (3.20.0) and the User and Reference manuals
Developer resources (git repository, issue tracker, wiki, and more)
Support & feedback
Sign the Logtalk mailing list, register, get support, give feedback, or leave your suggestions
Discussion forums
Community discussion forums
Chat room
Come on in and chat with developers and users
Links to related resources