61. The system according to claim 59 wherein said first set of rule base search functions further comprises: a “find rule using only consequent” search function configured for use by a backward directed reasoning routine to find a rule that matches a known consequent node against an ending state fact, said ending state fact a member of an input seed fact group.
59. The system according to claim 1 wherein said system further comprises a rule base, said rule base configured to store a plurality of rules; said rule base configured to maintain a set of rule addition functions; said rule base configured to maintain a set of rule deletion functions; said rule base configured to maintain a first set of rule base search functions.