Logtalk is an Open-Source, object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in-the-large.
Logtalk supports modern code encapsulation and code reuse mechanisms without compromising the declarative programming features of Prolog. Logtalk is implemented in highly portable code and can use most modern and standards compliant Prolog implementations as a back-end compiler. The Logtalk distribution features portable libraries and portable assertions, documenting, diagraming, and unit testing tools, plus extensive code editing and
Logtalk Compiler and Runtime
- [Added] Support for number_of_rules/1 and number_of_user_rules/1 object and category properties.
- [Added] Support for number_of_rules/1 predicate property.
- [Added] Detection of meta_predicate/1 directives that wrongly specify a goal meta-argument that is actually a closure passed to
- OS X 10.3.9 or later
- Compatible Prolog compiler