Common Lisp Reasoner, Version 3.2
It has been tested in Allegro 9.0, clisp 2.48, ECL (snapshot, later
than 12.12.1) and SBCL 1.1.2 (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
Support for CXML SAX parser (common-lisp.net/project/cxml)
A conjunction of propositions may appear in the head of a rule
Concurrent rule matching - when used with Lisp in Parallel (lparallel.org)
(De)serialization of a tail-less rule failed
Predefined datatypes not found if preserving case when deserializing
ASDF definitions are included
Deserialization signals an error if an unimplemented feature is encountered,
rather than failing arbitrarily; the error message can be suppressed selectively
Rule language schema revised and corrected