Logtalk for Linux - Open source object-oriented logic programming language

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it 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. Features: Separation Between interface and implementationParametric objectsSupport for both class-based and prototype-based systemsSupport for multiple object hierarchiesPrivate, protected, and public inheritancePrivate, protected, and public object predicatesStatic and dynamic objectsStatic and dynamic object predicatesLogtalk syntax extends standard Prolog syntaxEvent-driven programmingComponent-based programmingMulti-threading programmingMulti-inheritance supportGood performanceClose integration with the ISO Prolog StandardCompatible with most Prolog compilersAutomatic generation of XML documentation filesDynamic language new: new:Updated the Logtalk compiler to expand calls to the forall/2 and once/1 built-in predicates in order to Improve performance. Corrected a bug in the Logtalk compiler that resulted in some calls to the built-in predicate call/1 being transparent to cuts in its goal argument. Updated the Logtalk runtime to try to Detect and warn about incompatible back-end Prolog compiler versions. Updated the Logtalk runtime to avoid spurious type errors when working with parametric objects using Eclipse due to the weak ISO Prolog standard compliance of this compiler. Added two new commands to the Logtalk built-in debugger for writing the current goal as a quoted term and for removing context spy points at leashed ports. Added a logtalk_library_path/2 entry for the library "home" (the user home directory) when running on POSIX operating-systems.