A backtracking logic programming monad (http://code.haskell.org/~dolio/)
there don't seem to be any issues for this project.