Open TeamSPoon opened 8 years ago
'undo/1' Is only running on debug.
Maybe something to do with FIRSTVAR
28 ?- undo(writeln(world)),writeln(hello). hello true.
29 ?- debug,undo(writeln(world)),writeln(hello). hello world [debug] 30 ?- nodebug. true. 31 ?- undo(writeln(world)),writeln(hello). hello true.
'undo/1' Is only running on debug.
Maybe something to do with FIRSTVAR