In many Prolog guides the following code is used to illustrate "negation by failure" in Prolog. not(Goal) :- call(Goal), !, fail. not(Goal). However, those same tutorials and texts warn...

Suppose we have the following program: human(socrates). day(tomorrow). die(X) :- human(X). may_go_to_school(Y) :- day(Y), not holiday(Y). If we run clingo to aquire the answer set of the program...