PLT Scheme Inference Collection
M. Douglas Williams <m dot douglas dot williams at gmail dot com>
The PLT Scheme Inference Collection implements an inference engine that supports both forward-chaining (data-driven) and backward chaining (goal-driven) for developing rule-based systems in PLT Scheme. The inference engine:
Provides an efficient rule-based inference engine.
Supports forward-chaining for data-driven inferencing.
Supports backward-chaining for goal-driven inferencing.
Makes inferences directly on Scheme data - lists, assoication lists, vectors, and structures.
The source code is distributed with the inference collection and licensed under the GNU Lesser General Public License, Version 2.1 [LGPL].
All of the functionality defined in this manual is exported by the inference collection and accessed using the following form:
|(require (planet williams/inference/inference))|
© 2006-2008, M. Douglas Williams
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".