import("../Tools/debug")?

debug(p,goal)?

p(X),nl,write("X=",X),nl,fail ?


debug(app,clause,false)?


app([1,2,3],R,[1,2,3,4,5,6])?
;





debug(app,goal,true)?

app([1,2,3],R,[1,2,3,4,5,6])?
;




debug(append)?


A=append([a,b,c],[d,e,f])?



A=append(G,H)?
G=[a,b|C]?
H=[hello]?
C=[d,e]?






debug(append,goal,true)?


A=append([a,b,c],[d,e,f])?



A=append(G,H)?
G=[a,b|C]?
H=[hello]?
C=[d,e]?






undebug(append)?
A=append([a,b,c],[d,e,f])?




debug(f,{clause;goal;fail}),A=f(merci_arnaud,Y),Y={a;b;c},fail?
