Description
Object-oriented logic programs can be written with a language designed around Prolog-style reasoning.
This package is useful for developers, researchers, and students exploring logic programming with object-oriented structure. It is a programming language, not a general-purpose IDE.
Logic programs can be difficult to debug when rules interact. Test predicates and examples carefully.