Common Lisp Reasoner, Version 3.0
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
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
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
serialize-class-hierarchy arguments revised
deserialize-as-objects arguments revised