Common Lisp Reasoner, Version 2.0.1
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
Rule language XML schema revised:
Elements prefixRhs (becomes arithmeticExpr, made global) relation (made global),
value (made local)
Type CompoundFormula references group PRIMARY
New elements valueAttributeReference, aggregateFunctionName,
New attribute (of arithmeticExpr) minus
Package lock violation could occur when serializing symbols defined in CL package
Serialization of a literal proposition within a rule would fail if it contained a
second attribute reference
Serialization of "<" and ">" in an arithmetic or functional proposition was not
When serializing a class hierarchy, if classes were split or joined to create the
nearest equivalent complexTypes, certain XML names could become corrupted and
element declarations erroneously repeated or omitted. Also, name attribute was
omitted from element declarations containing occurrence constraints
Deserialization would fail if attributes were qualified
compute-effective-slot-definition would signal an error if subtypep could not
determine the relationship between two slot types
New variable *xml-print-pretty*
Faster instance creation