Ground the rules, delete every rule having a negative body atom true in the candidate , and remove all remaining negative premises. The result is a positive program whose least Herbrand model is compared with .
New to topics? Read the docs here!
New to topics? Read the docs here!