Common Lisp Reasoner, Version 3.3.2
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
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
Performance improvements to ATMS and class consumer (i.e., rule) invokation
Class consumer parallelism extended to embrace multiple ATMS nodes (when
initiated via nschedule)
Temporary nodes are deleted and their justifications reused
Integration with Closer to MOP (see above)
XML (de)serialization has its own system definition
There are parallel variants of each system
Automatically-generated reader methods didn't work if make-method-lambda
was supplied by Closer to MOP. Also, checking has been added for writers
and multiple readers (both disallowed)
Serialization of a slot's values was incorrect if it had a count with a non-
zero lower bound