Example:

$\begin{picture}(380,1)(0,0) \put (0,0){\framebox{(}380,1)} \end{picture}$

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

$\begin{picture}(380,1)(0,0) \put (0,0){\framebox{(}380,1)} \end{picture}$

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

Neng-Fa Zhou 2013-01-25