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