[agumonkey]

clos condition system is said to be just that, people seem to like it

also this kind of non local stack/tree rebinding is one way to implement prolog i believe