Logtalk.Logtalk 3.92.0

Declarative object-oriented logic programming language

Logtalk is a declarative object-oriented logic programming language that extends and leverages the Prolog language with modern code encapsulation and code reuse mechanisms while also providing improved predicate semantics.