blob: 1983b695da4027581714488243b5c1b246a1bc7a (
plain) (
blame)
1
2
3
4
5
6
7
|
A continuation-based, backtracking, logic programming monad. An
adaptation of the two-continuation implementation found in the paper
"Backtracking, Interleaving, and Terminating Monad Transformers" [1].
[1] http://okmij.org/ftp/papers/LogicT.pdf
WWW: http://code.haskell.org/~dolio/logict
|