Previous topic  Top  Next topic  Print this Topic

Rewriter for Propagation of Ground Terms in Rule Graph


The constants in the rule graph can be propagated and thus sometimes edges may be deleted.


p("b","X") :- q("X").

t("X","Y") :- p("X","Y").

?- t("a","X").

If there are only facts for q this query cannot deliver an answer. This may already be seen in the rule graph by propagating the constant a to the second rule and then to the third rule.