Logtalk

Logtalk is an open source object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As an OOP language, its major features include support for both classes (with optional metaclasses) and prototypes, parametric objects, protocols (interfaces), categories (mixins, aspects), multiple inheritance, event-driven programming, multi-threading programming, reflection, and automatic generation of documentation.

For Prolog programmers, Logtalk provides predicate namespaces (supporting both static and dynamic objects), private, protected, and public object predicates, separation between interface and implementation, much better portability than Prolog modules, and standard Prolog syntax with the addition of a few operators and directives. Currently supported Prolog compilers include Amzi! Prolog, B-Prolog, Bin-Prolog, Ciao, CxProlog, ECLiPSe, Gnu Prolog, IF Prolog, JI-Prolog, K-Prolog, Open-Prolog, Qu-Prolog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB, and YAP.

External links

• logtalk.org Home site.
• P. Moura Originator's site.pt:Logtalk