Module documentation for 0.6.0.2

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