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