Logtalk

From Wikipedia, the free encyclopedia

Logtalk
Paradigm Logic programming
Appeared in 1998
Designed by Paulo Moura
Influenced by Prolog, Smalltalk, Prototype-based programming, Object-oriented programming, Logic programming

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.

[edit] External links

Languages