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