flex Expert System Toolkit - LPIS

3. Forward Chaining 40
considered.
The rule agenda may be viewed as a cyclic queue, whereby the rule following the
selected rule is used as the top of the agenda for the next cycle.
The ruleset may be updated by removing from the rule agenda any rules whose
conditions were not satisfied in the last cycle of the forward chaining engine.
Finally a rule “network” may be specified enabling the agenda to switch between
different groups of rules for each cycle. Each rule group may be defined using
the KSL group construct, and after each rule is fired, the rule agenda becomes
the set of rules specified by the group with the same name as the rule which
was just fired.
In addition to these built-in update methods you may define your own.
It is also possible to disable and enable certain rules. See the built-in flex
predicates disable_rules/1 and enable_rules/1.
flex toolkit