A backtracking logic programming monad (http://code.haskell.org/~dolio/)

nothing here yet!

move along, citizen