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.
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. 17. The implementing of claim 15 wherein each ID rule includes: a head predicate with a name identical to the predicate name of a final argument of a corresponding IDX fact and with a number of variable arguments equal to the number of variable arguments of a rule implemented by the gateway rule and the set of fact-rule pairs; and a body corresponding to the body of the rule implemented by the gateway rule and the set of fact-rule pairs.