The C++ embeddable rule system

Most rule execution environments, having been derived from LISP, inference on internally defined data types and come packaged with stand-alone development environments. Data derived from outside these systems must be reformatted before they can be evaluated. This mismatch leads to a duplicate representation of data, which, in turn, introduces both performance and semantic problems. A description is given of a C++ embeddable rule system (CERS) which avoid this mismatch. CERS is a compiled, forward-chaining rule system that inferences directly on arbitrary C++ objects. CERS can be viewed as an extension of C++, where object methods can be defined either procedurally or declaratively.<>