language based on type theory
|Version||1.6.25 - Thursday, 29 December 2005|
|Source code repository|
Opt (version 1.6.25, 2005-12-29) [Ontology with Polymorphic Types] is a KR language based on type theory. Comes with detailed manual for the language, not so detailed documentation on how to use it. Includes parallel directory lisplang. It's fully compatible with recent versions of PDDL. (That is, it has that as a goal. Version 1.6.11 doesn't have absolutely the latest features.) Depends on Nity.
You must be logged to add a note
You must be logged to add a comment