Logtalk

Website: logtalk.org

Designed by: Paulo Moura

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.

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.

The Logtalk language implementation is distributed under an open source license and can run using a Prolog implementation (compliant with official and de facto standards) as the back-end compiler.