This field holds the facts that have been used during this consultation and the values that they are bound to, either true or false.
-- part contents for card part 12
----- text -----
This field holds the list of rules that the inference engine is trying to prove. The last rule listed here is the rule being currently tested.
-- part contents for card part 13
----- text -----
This field lists the rules that have already been tested in this consultation and their status, either passed or failed.
The number above is the total number of rules in the rule base.
-- part contents for card part 14
----- text -----
This is the Conclusion of the last rule to pass, that is, to have each of the facts in it's Assertions field proven to be true.
-- part contents for card part 17
----- text -----
This is the Smart Card, where most of the information that the inference engine needs to operate is kept. The Facts that have used in the consultation, the Goal Trail of rules to be proven,
and the Rules that have already fired are all scrolling fields here on the Smart Card, so that you may inspect and more easily understand everything that happens during a consultation with HyperX. The top line of the Smart Card will
tell you the status of the inference engine during a consultation. Also, after the consultation, this button will clear all of this card's fields.
-- part contents for card part 18
----- text -----
This button takes you here, to Smart Card Help.
-- part contents for card part 19
----- text -----
This is the Consultation button, which contains the inference engine script. Pressing it will start the rule prover working on the last Rule in the Goal Trail.
