Introduction to
Logic Programming
What
versus
How
 

Exercise 7.5 - Closure


What is C(Ω,Δ) where Ω is {r(X,Z) :- p(X,Z), r(X,Z) :- r(X,Y) & r(Y,Z)} and Δ is the dataset shown below?