Logtalk 2.44.0 Paulo Moura    

... object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, ... object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. Logtalk main features are: Separation between interface and implementation Predicate directives (declarations) can be contained inside protocols ... compiled and loaded in the same way as Prolog files. Dynamic object can be either defined in .... Free download of Logtalk 2.44.0

prolog implementation web results