add not strat negative recursion a(X) :- not a(X)