Logtalk is a mature open source 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
- Parametric objects
- Support for both class-based and prototype-based systems
- Support for multiple object hierarchies
- Private, protected, and public inheritance
- Private, protected, and public object predicates
- Static and dynamic objects
- Static and dynamic object predicates
-
Logtalk syntax extends standard Prolog syntax
- Event-driven programming
- Component-based programming
- Multi-threading programming
- Multi-inheritance and multiple-instantiation support
- Good performance
- Close integration with the ISO Prolog Standard
- Compatible with most Prolog compilers
- Automatic generation of XML documentation files
- Dynamic language
What's new:
Logtalk 2.39.2 is now available for downloading. This release optimizes the internal representation of entity and predicate properties, improves reflection support, improves unit testing support, improves interoperability with Prolog module libraries, fixes all known bugs, and includes portability updates for B-Prolog, ECLiPSe, Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, and YAP. For details and a complete list of changes, please consult the release notes.