Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.
Full Specifications
What's new in version 3.41
ADDED: New logtalk_load_context/2 predicate variables and singletons keys for accessing the variables and the singleton variables of the term being compiled.
IMPROVED: Generalize linter checks for tautologies and falsehoods in non-ground var/1, nonvar/1, and ground/1 goals to check for singleton variables.
FIXED: Increment the warnings counter when reporting term-expansion and goal-expansion errors.
FIXED: The compilation of file level ensure_loaded/1 and use_module/1-2 directives when using backend Prolog compilers such as Tau Prolog that don't support calling them as predicates.