Perspective from Logic

• Containment a special form of validity

Given

q1(A, D) :- p(A, B) & r(C, D)

q2(A, D) :- p(A, B) & r(B, D)

q1 ? q2 is equivalent to saying the next sentence is valid:

?A, D (? B p(A, B) ? r(B, D)) =>

(? B,C p(A, B) ? r(C, D))

Previous slide

Next slide

Back to first slide

View graphic version