A produCtion system Consists of a ColleCtion of produCtions (rules), a working memory of faCts and an algorithm, known as forward Chaining, for produCing new faCts from old. A rule beComes eligible to "fire" when its Conditions matCh some set of elements Currently in working memory. A ConfliCt resolution strategy determines whiCh of several eligible rules (the ConfliCt set) fires next. A Condition is a list of symbols whiCh represent Constants, whiCh must be matChed exaCtly variables whiCh bind to the thing they matCh and "<> symbol" whiCh matChes a field not equal to symbol. Example produCtion systems are OPS5, CLIPS, flex. (2005-06-17)
