Figure 2.3 KnowledgeWorks Rule Browser
This may be obtained by choosing
. The defined forward chaining contexts (or rule groups) are displayed in a drop-down list at the top. There is also a special pseudo-context for all the backward chaining rules, which is shown initially. In this case, the only other context is named
. Below that are listed the rules for the selected context. Choose
from the drop-down list and click on one of the rules, for example
, and edit it by choosing
from the menu bar. An editor window will appear showing this rule definition.
What this rule says is:
(root ?r node ?node)
(not (current-node ? node ?))
((capi:display-message " ANIMAL GUESSING GAME - ~
think of an animal to continue"))
(assert (current-node ? node ?node)
If the node
is the root node of the tree of questions, and there is no current node indicating the question about to be asked, then tell the user to think of an animal and make the root node
the current node (so that the top question of the tree will be asked next). This is the rule that starts the game by instructing: "if you haven't got a question you're about to ask, ask the topmost question in the tree of questions". The detailed syntax of forward chaining rule definitions will be explained in Forward chaining.
-- All backward rules --
" from the drop-down list and bring up a backward chaining rule definition by clicking on its name in the Rule Browser and choosing
Rule > Find Source
again. The detailed syntax of backward chaining rules is in Backward Chaining.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011