Example:

[IMAGE png]

      ?- member(X,[1,2,3]).
      X=1;
      X=2;
      X=3;
      no

[IMAGE png]

The call abort stops the current execution and restores the system to the top-level.