K 10
svn:author
V 3
pgj
K 8
svn:date
V 27
2012-02-13T02:21:34.000000Z
K 7
svn:log
V 323
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

Obtained from:	FreeBSD Haskell

END