trace
Turns trace mode on.
Example
member(X,[X|_]). member(X,[_|L]):-member(X,L). ------- Dialog ------------- trace 1 Solution member(X,[1,abc]). Trace: >> CALL: member(1,[1,abc]) Trace: >> RETURN: member(1,[1,abc]) X= 1 Trace: >> REDO: member(1,[1,abc]) Trace: >> FAIL: member(1,[]) Trace: >> FAIL: member(1,[abc]) Trace: >> CALL: member(abc,[abc]) Trace: >> RETURN: member(abc,[abc]) Trace: >> CALL: member(abc,[1,abc]) Trace: >> CALL: member(abc,[abc]) Trace: >> RETURN: member(abc,[abc]) Trace: >> RETURN: member(abc,[1,abc]) X= abc Trace: >> REDO: member(abc,[1,abc]) Trace: >> REDO: member(abc,[abc]) Trace: >> FAIL: member(abc,[]) Trace: >> FAIL: member(abc,[]) Trace: >> FAIL: member(abc,[abc]) Trace: >> REDO: member(abc,[abc]) Trace: >> FAIL: member(abc,[]) Trace: >> FAIL: member(_,[]) Trace: >> FAIL: member(_,[abc]) Trace: >> FAIL: member(_,[1,abc]) 2 Solutions