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:
*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
*Multi-threading programming
*Close integration with the ISO Prolog Standard
*Automatic generation of XML documentation files
*Dynamic language