The FRuleKit Reference Manual

FRulekit is an experimental production system written in Commonlisp.  At its core is an augmented implementation of the OPS Rete pattern matcher. As well as the standard OPS5 conflict resolution strategies of LEX and MEA and an extended strategy, it also allows users to write their own conflict strategies, and incorporates an agenda system for controlling the ordering of rules.  It has a trace package which makes it possible to build rule-learning strategies, and supports reason maintenance. FRulekit stands for Frame-Rulekit since working memory elements are frames, and matching against frames are supported.  It uses the Parmenidesframe system, so it is assumed that the reader is also familiar with this frame program.  See the Parmenides manual (available as /afs/cs/user/pshell/parmenides/parmenides.ps) for documentation. It is assumed that the reader is familiar with production systems. SinceFRulekitgoes beyond OPS-5 in many ways, the OPS-5 syntax is not used.  Knowing lisp, especially Common Lisp, is useful but not essential.