14. The method of claim 13 wherein the first predicate of the body includes n 1 variable arguments, the first n variable arguments corresponding to n arguments of the head predicate of the gateway rule and the final variable having a final-variable name.
14. The method of claim 13 wherein the first predicate of the body includes n 1 variable arguments, the first n variable arguments corresponding to n arguments of the head predicate of the gateway rule and the final variable having a final-variable name. 15. The logic-programming-based computer system of claim 14 wherein implementing each fact-rule pair of the set of fact-rule pairs comprises: implementing a IDX fact; and implementing a ID rule.