Name: test/1
body(N,N1) :- N1 is N-1.
Calls:
Name: is/2
Called:
Name: while/3
myapp([],X,X). myapp([H|X],Y,[H|Z]) :- myapp(X,Y,Z).
Name: RECURSIVE_CALL/3
rev([],A,A). rev([H|T],A,R) :- rev(T,[H|A],R).
test(C) :- partially_evaluate_and_load(myapp([a,b,c],_,_),C), print(C),nl.
Name: nl
Name: print/1
Name: partially_evaluate_and_load/2
while(N,N,finished). while(N,M,s(R)) :- N>M, body(N,N1),while(N1,M,R).
Name: body/2
Name: >/2