Looking for the latest version? Download reasoner-3.4.zip (170.4 kB)
Name Modified Size Downloads / Week Status
Parent folder
Totals: 3 Items   231.8 kB 5
readme.txt 2011-11-20 1.8 kB 22 weekly downloads
reasoner-2.0.1.zip 2011-11-20 117.8 kB 11 weekly downloads
reasoner-2.0.zip 2011-07-12 112.2 kB 22 weekly downloads
Common Lisp Reasoner, Version 2.0.1 Status ------ 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, relationalAttributeReference, numericAttributeReference New attribute (of arithmeticExpr) minus Bugs fixed: 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 XML-friendly 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 Other changes: New variable *xml-print-pretty* Faster instance creation
Source: readme.txt, updated 2011-11-20