?- true.
   true.

% here

?- fail.
   false.