1:- use_module(library(sldnfdraw)).    2
    3:- if(current_predicate(use_rendering/1)).    4:- use_rendering(sldnf).    5:- endif.    6
    7:- sldnf.    8
    9:- begin_program.   10
   11member(X ,[X|_T]).
   12member(X ,[_H|T]):-
   13  member(X,T).
   14
   15:-end_program.   16
   17:-begin_query.   18
   19member(X,[1,2]), \+ member(X,[1,3]).
   20
   21:-end_query.

?- draw_goal(Tree). ?- draw_goal(Tree),format("~s",[Tree]).

*/