flex Expert System Toolkit - LPIS

7. Knowledge Specification Language 90
means that each rule is fired just once.
flex toolkit
ruleset example_set9
contains all rules ;
update ruleset by removing each selected rule.
Each time a rule is fired it can be moved to the top or the bottom of the
current ruleset. Moving it to the top means it will be the first rule to be
considered next time round, or moving it to the bottom means it will be the
last rule to be considered. These two options are specified as follows.
ruleset example_set10
contains all rules ;
update ruleset by promoting each selected rule.
ruleset example_set11
contains all rules ;
update ruleset by demoting each selected rule.
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.
ruleset example_set12
contains all rules ;
update ruleset by cyclic rotation of rules .
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.
ruleset example_set13
contains all rules ;
update ruleset by removing any unsatisfied rule.
A rule “network” may be specified enabling the agenda to switch between
different groups of rules for each cycle. Each 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.
ruleset example_set14
contains all rules ;
update ruleset using rule transition network.
Finally, in addition to these built-in update methods you may define your
own.
ruleset example_set15
contains all rules ;
update ruleset using user_update .
In this case flex will look for a definition of user_update/3 (which may be