Navigation  without Java Scripts

trace/0

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