1%%% generate guess atoms for the check part 2guess(occurs(A,T)) :- occurs(A,T). 3 4%%% The plan must not fail 5:- fail. 6