Introduction to
Logic Programming
What
versus
How
 

Exercise 7.6 - Extension


What is the extension of strata Ω1 and Ω2 on Δ, where Ω1 is {q(X) :- p(X,Y)}, where Ω2 is {r(X,Y) :- p(X,Y) & ~q(Y)}, and where Δ is the dataset shown below?