Semantics 2: Inflationary Datalog
We
know what this is
Find
all pairs x, y that are not connected:
T(x,y) :- R(x,y)
T(x,y) :- R(x,z), T(z,y)
oldT(x,y) :- T(x,y)
oldTexceptFinalT(x,y) :- T(x,y), R(x,z),T(z,y), :T(x,y)
Answ(x,y) :- :T(x,y), oldT(x,y), :oldTexceptFinalT(x,y)