Logtalk

Logtalk is an object-oriented logic programming language that extends the Prolog language with a feature set suitable for programming in the large. It provides support for encapsulation and data hiding, separation of concerns and enhanced code reuse. Logtalk uses standard Prolog syntax with the addition of a few operators and directives.

Logtalk is distributed under an open source license and can run using ISO-compliant Prolog implementations as the back-end compiler.