haskell
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>