Logtalk
From Wikipedia, the free encyclopedia
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 extension to Prolog. Logtalk is fairly version-neutral, supporting most Prolog implementations. As an OOP language, its major features include support for both classes (with optional metaclasses) and prototypes, parametric objects, protocols (interfaces), categories (components), 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, 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
- logtalk.org Home site.
- P. Moura Originator's site.