Logtalk Logtalk.org

winget install --id=Logtalk.Logtalk -e

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.

Versions