Logtalk

Logtalk is a programming language that falls into the object-oriented category, its main purpose being that of enhancing the Prolog language capabilities with additional features, which can come in handy in some development situations.
This programming language makes use of modern as well as standard-compliant Prolog implementations for back-end compiling tasks. As such, it offers support for high-level and multi-thread programming operations, but also modules, prototypes, classes, protocols, categories and other types.
What sets Logtalk apart is the fact that it tries to bring together both logic and object-based programming, enabling users to reduce the time required for getting from an application to the problem domain, simplifying both writing and maintenance tasks.
Also, Logtalk includes event-driven programming capabilities while integrating component-based programming support. Similarly, it can handle prototype and class-based systems as well as multiple object hierarchies.
As a superset of Prolog, Logtalk will share preferred application areas, but it is distinguishable from it because it extends them, this being where object-oriented programming has the upper edge in comparison to Prolog.
Some of these areas include object-oriented programming teaching and researching, highly portable applications, knowledge-based systems or integration with other programming languages (C++, Java, Smalltalk).
To make it as accessible as possible, Logtalk comes with an extensive help documentation, enabling even the less experienced to learn how to successfully work with it. Moreover, it includes numerous examples, libraries and even a set of developer tools that can significantly assist users in the learning process.
Consequently, users can swiftly learn about everything from installation, to writing, running and debugging Logtalk software, as well as the provided Logtalk features, the Java and C++ nomenclature correspondence, message sending tasks, objects, protocols, categories, predicates, inheritance, various supported programming types, or error handling.