Rozšíření DATALOGu o negaci

• Problém:

• ŘEŠENÍM LOGICKÉHO PROGRAMU NEMUSÍ BÝT NPB, ALE NĚKOLIK MPB.

• Př.: NUDNÝ(x) :-  ZAJÍMAVÝ(x), MUŽ(x)

• ZAJÍMAVÝ(x) :-  NUDNÝ(x), MUŽ(x)

• N(X) = M(X) - Z(X)

• Z(X) = M(X) - N(X)

• Rešení: Nechť M = {Honza}

• M1: {NUDNÝ* = {Honza}, ZAJÍMAVÝ* = }

• M2: {ZAJÍMAVÝ* = {Honza}, NUDNÝ* = }