[pnathan]

A brief survey of time-travelling debuggers[1]. What [1] does not note is that it was heavily studied in relation to Prolog in the late 80s and early 90s. Some very fancy shenanigans were possible including scripts watching variable bindings and actions. Some of this becomes evident if the Pancake bibliography is scanned[2].

It's exciting seeing the dream of the 70s come alive. :-)

[1] http://jakob.engbloms.se/archives/1554

[2] http://web.engr.oregonstate.edu/~pancake/papers/biblio/