Trace of mem2(2,[1,2,3])
T Call: ( 8) mem2(2, [1, 2, 3]) T Call: ( 9) mem2(2, [2, 3]) T Call: ( 10) mem2(2, [3]) T Call: ( 11) mem2(2, []) T Fail: ( 11) mem2(2, []) T Redo: ( 10) mem2(2, [3]) T Fail: ( 10) mem2(2, [3]) T Redo: ( 9) mem2(2, [2, 3]) T Exit: ( 9) mem2(2, [2, 3])
T Exit: ( 8) mem2(2, [1, 2, 3])