Thu Sep 10 16:41:29 CEST 2009
Unification algo seems to be working. Used it in one way (as a
pattern matcher) in database.ss
About prompt tags. It looks like it's necessary to name the tags,
because other uses of partial continuations would interfere with the
marks used for backtracking.
The idea seems to be that for each abstraction built on top of partial
continuations, you use a new prompt tag. Then you just need to worry
about those tags being properly nested (i.e. nested backtracking).