a3a15f8b91
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 Obtained from: FreeBSD Haskell
7 lines
291 B
Text
7 lines
291 B
Text
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
|