Version 0.8.1.0 is available upstream. Please consider updating!
It seems that version 0.8.1.0 is available upstream, while the latest version in the Gentoo tree is 0.7.0.3. You think this warning is false? Read more about it here.
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/ftp/papers/LogicT.pdf>