Janus (time-reversible computing programming language)(en.wikipedia.org)

https://en.wikipedia.org/wiki/Janus_(time-reversible_computing_programming_language)