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