Rozšíření DATALOGu o negaci

• Př.: NSR(x,y) … x je příbuzný y, ale není sourozencem y

• NSR(x,y) :- R(x,y), S’(x,y)

• NSR* = R* - S’*

• nebo

• NSR(X,Y) = R(X,Y) * S’(X,Y), kde S’ je doplněk do nějakého vhodného univerza.

• Postup:

  • umožníme negaci v těle pravidla, tj. negativní literály mezi L1,…,Ln
  • bezpečná pravidla musí mít omezené proměnné, tj. zakážeme proměnné, které jsou v negativním literálu a nejsou omezené ve smyslu původní definice.