DATALOG - závislostní graf (3)

• R(x,y) :- S‘(x,y)

• R(x,y) :- R(x,z), F(z,y)

• R(x,y) :- R(z,y), F(z,x)

• kde C(x,y) … x je bratrancem (sestřenicí) y, tj. mají otce bratry

• R(x,y) … x je příbuzným y

• rekurzivní datalogický program

• R, C … rekurzivní predikáty

• Df.: Logický program je rekurzivní, existuje-li v jeho závislostním grafu cyklus.