Directory | Tags | Index | LinkIt | Submit   | Help
    Tuesday, 25 September 2018 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Language Extensions

View the dependency graph for this library

Created by stuart on: Sat, 06 May 2006 02:05:46 GMT, Last modification: Sat, 06 May 2006 02:05:46 GMT

language based on type theory

Web site
Mailing list
Version1.6.25 - Thursday, 29 December 2005
OS compatibility
ASDF installableNo
Official Download
Mirrored Download
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.

Required Libraries  View graph


Authors and Maintainers

Drew McDermott


Language Extensions

0 Notes and 0 comments

0 Notes

You must be logged to add a note


You must be logged to add a comment