Figure 2.7 KnowledgeWorks Forward Chaining History
This is obtained by choosing
. If you have just run the tutorial a window will appear of which the left column contains the entry
. These are all the contexts (rule groups) the forward chaining engine has executed (in this case only one). On the right is a detailed breakdown of what happened in each cycle within this context. You will see the rule names listed down the left, and the cycle numbers along the top. The boxes indicate which rules fired. In the last cycle, you will see a black box indicating that the rule
fired, and a outlined box for the rule
. This means that the rule
could have fired, but that
Note: you can remove the package prefixes from displayed symbols by setting the current package of the FC History tool to
, in the same way as you did for the Objects Browser tool (see Objects Browser).
Look at the definition for
(find the source using the Rule Browser) and notice that it contains
. This means that the
rule has higher priority than the
rule (which has the default value of
), and so was preferred. Other methods of conflict resolution are also available.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011