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])
.*/