The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Common Lisp Reasoner
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2013-05-09 | 1.2 kB | |
| reasoner-3.2.zip | 2013-05-09 | 146.1 kB | |
| Totals: 2 Items | 147.3 kB | 0 | |
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