OTOH, it is possible to add some of it back in. Check out Robert Virding's erlog (http://github.com/rvirding/erlog) and his explanation of how you can add backtracking to erlang (http://rvirding.blogspot.com/2009/03/backtracking-in-erlang-...)