12. The method of claim 11 wherein the head predicate of the gateway rule further comprises n variable arguments, where n is the arity of the rules implemented by the fact-rule pairs in the set of fact-rule pairs.
12. The method of claim 11 wherein the head predicate of the gateway rule further comprises n variable arguments, where n is the arity of the rules implemented by the fact-rule pairs in the set of fact-rule pairs. 13. The method of claim 12 wherein the body of the gateway rule further comprises: a first predicate, having a first-predicate name, different from the name of the gateway rule head predicate name, that uniquely identifies a set of rules implemented by the gateway rule and the set of fact-rule pairs; and a second predicate that represents a built-in evaluation operation.