The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Common Lisp Reasoner
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2014-10-15 | 1.5 kB | |
| reasoner-3.4.zip | 2014-10-15 | 170.4 kB | |
| Totals: 2 Items | 171.9 kB | 0 | |
Common Lisp Reasoner, Version 3.4 Status ------ It has been tested in Allegro 9.0, clisp 2.48, ECL 13.5.1, LispWorks 6.1.1 and SBCL 1.1.2 (Win32). It should run unmodified in any Lisp that implements the metaobject protocol, and can be used in conjunction with Closer to MOP (common-lisp.net/project/closer/). The file compat.lisp may enable it to work (possibly with a little additional customization) in other Lisps. Automatically-generated reader methods (i.e., that behave like slot-value-reduce) work only in SBCL of the above-mentioned Lisps. Use Closer to MOP to fill this lacuna. Changes Since Last Release -------------------------- Faster checking for nogoods when adding assumptions during backtracking search More robust deserialization, including support for: Global XML Schema elements and references to them The datatypes boolean, integer, nonNegativeInteger, positiveInteger and string Moreover, *assumption* may be assigned a single assumption, which is then used to justify all assertions encountered during deserialization Bug fixes: RDF and OWL class serialization failed if its label was absent The specialization of a slot referred to in a :count slot option but not the slot itself resulted in an incorrect OWL serialization Elements declared as ignored could nonetheless cause deserialization to fail Range classes created during deserialization corresponding to successive cardinality restrictions were not hierarchically organized