A backtracking logic programming monad (http://code.haskell.org/~dolio/)
#3Links to the paper inside the package are wrong
Only the hackage description link is correct, these are not:
https://hackage.haskell.org/package/logict-0.6.0.2/docs/Control-Monad-Logic.html https://hackage.haskell.org/package/logict-0.6.0.2/docs/src/Control-Monad-Logic.html https://hackage.haskell.org/package/logict-0.6.0.2/docs/Control-Monad-Logic-Class.html