Logtalk

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

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