PPT Slide

Testing for Uniform Containment

p(X, Y) :- q(X, Y)

q(X, Y) :- r(X, Y)

p(W, X) :- r(W, X)

does

uniformly contain

assert r(“W”, “X”) and try to derive p(“W”, “X”)