continuations

I've been thinking about logic programming again. At some point a couple of weeks ago, there was a spark and before I knew it I was scribbling away notes on a few different things at once. I think the trigger was a problem at work. Useful context is