First run the tutorial example a few times. Think of an animal and type (infer)
into the listener. infer
is a function which starts the forward chaining engine. Popup question windows will appear, which require clicking on either Yes
or No
. If your animal is guessed correctly, execution will terminate and the listener prompt will reappear. If the final guess is incorrect then:
(infer)
again in the listener. This time the system will know about your new animal and the question that distinguishes it. Every time the rule interpreter finishes, it will return and display in the listener the number of rules the forward chaining engine fired.