14
Examples in Datalog
•
Transitive closure:
•
Same generation:
T(x,y) :- R(x,y)
T(x,y) :- R(x,z), T(z,y)
S(x,y) :- Root(u), R(u,x), R(u,y)
S(x,y) :- S(u,v), R(u,x), R(v,y)