Okay, this paper is feeling much less like a disaster. It is hovering around 14.5 pages, and kind of sort of makes sense except for the last couple sections.
So a completely random thing that just occurred to me: Have you thought about whether letcc could be used to provide a "sensible" implementation of cut, etc. in logic programming?
