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 | 2012-07-02 | 1.4 kB | |
| reasoner-3.0.zip | 2012-07-02 | 134.5 kB | |
| Totals: 2 Items | 136.0 kB | 0 | |
Common Lisp Reasoner, Version 3.0 Status ------ It has been tested in Allegro 8.2, clisp 2.41, ECL 11.1.1 and SBCL 1.0.49 (Win32). It should run unmodified in any Lisp that implements the metaobject protocol, provided :mop is on its features list. 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. Changes Since Last Release -------------------------- New features: Automatically-generated rules RDF/XML serialization and deserialization Improved XML parser interfaces The case of XML names can be preserved by setting readtable-case defrange has new option, external-type, and accepts a single number New generic functions format-as-type, parse-as-type Built-in cardinality ranges Hierarchies of ranges can be serialized Uniquely-identifying attribute in XML instance document can be specified Bugs fixed: Rule compiler objected if a slot type was a compound type specifier name attribute in XML Schema element declarations containing occurrence constraints caused parsing failure Absence of xsi:type attribute among a sequence of subelements caused parsing failure Other changes: serialize-class-hierarchy arguments revised deserialize-as-objects arguments revised