A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ Control.Monad.Logic.Class
W. Drabent. Proceedings of the second international workshop on Logic programming and non-monotonic reasoning, page 82--98. Cambridge, MA, USA, MIT Press, (1993)
A. Kakas, and P. Mancarella. 16th International Conference on Very Large Data Bases, August
13-16, 1990, Brisbane, Queensland, Australia, Proceedings, page 650-661. Morgan Kaufmann, (1990)