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 more...
Logtalk compiler and runtime
- [Changed] The logtalk_compile/2 and logtalk_load/2 built-in predicates now throw a compiler_flag domain error instead of a compiler_option for consistency.
- [Added] Entity property source_data. True when the entity was compiled with the source_data flag turned on.
- [Added] Entity property alias/2. The first argument is the more...
- OS X 10.3.9 or later
- Compatible Prolog compiler