Looking for the latest version? Download reasoner-3.3.2.zip (167.7 kB)
Name Modified Size Downloads / Week Status
Parent folder
Totals: 2 Items   147.3 kB 4
readme.txt 2013-05-09 1.2 kB 22 weekly downloads
reasoner-3.2.zip 2013-05-09 146.1 kB 22 weekly downloads
Common Lisp Reasoner, Version 3.2 Status ------ 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 -------------------------- New features: 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) Bugs fixed: (De)serialization of a tail-less rule failed Predefined datatypes not found if preserving case when deserializing Other changes: 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
Source: readme.txt, updated 2013-05-09