Heuristics Entwined with Handlers Combined
Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen · 2014
A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to Prolog's underlying implementation; others are lacking a clean semantic grounding. We resolve both of these issues in this paper.