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

Logtalk is an object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in the large. Written in highly portable code, it 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), categories (components), event-driven programming, and high-level multi-threading programming. Its distribution includes full documentation, portable libraries, a comprehensive set of 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 22)
Summary of Logtalk main features
List of Logtalk compatible back-end Prolog compilers
Publications, library, examples, manuals, tutorial, FAQ, release notes, contributors, and more
Download the latest release of Logtalk (3.00.0-rc2) and the User and Reference manuals
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 to related resources