Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Language Extensions
View the dependency graph for this libraryOpt
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 | http://www.cs.yale.edu/homes/dvm/ |
| Mailing list | |
| Version | 1.6.25 - Thursday, 29 December 2005 |
| Maturity | Experimental |
| OS compatibility | |
| ASDF installable | No |
| Official Download | ftp://ftp.cs.yale.edu/pub/mcdermott/software/opt.tar.gz |
| 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
Tags
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment