----
¥¥ Trace beginsÉnord/2.
¥ 1 | 1 call nord(salamanger,_8150) 
¥ 2 | 2 call sud(_8150,salamanger) 
¥ 2 | 2 exit sud(chambre,salamanger) 
¥ 1 | 1 exit nord(salamanger,chambre) 
¥ 1 | 1 redo nord(salamanger,chambre) 
¥ 2 | 2 redo sud(chambre,salamanger) 
¥ 2 | 2 exit sud(chambre,salamanger) 
¥ 1 | 1 exit nord(salamanger,chambre) 


----
¥¥ Trace beginsÉplus/3.
¥ 1 | 1 call plus(_863,3,5) 
¥ 2 | 2 call var(5) 
¥ 2 | 2 fail var(5) 
¥ 3 | 2 call var(_863) 
¥ 3 | 2 exit var(_863) 
¥ 4 | 2 call _863 is 5-3 
¥ 4 | 2 exit 2 is 5-3 
¥ 1 | 1 exit plus(2,3,5) 
¥ 1 | 1 redo plus(2,3,5) 
¥ 4 | 2 redo 2 is 5-3 
¥ 4 | 2 fail _863 is 5-3 
¥ 3 | 2 redo var(_863) 
¥ 3 | 2 fail var(_863) 
¥ 5 | 2 call var(3) 
¥ 5 | 2 fail var(3) 
¥ 1 | 1 fail plus(_863,3,5)