A backtracking logic programming monad (http://code.haskell.org/~dolio/)
#4Avoid unnecessary calls of 'msplit'
I grabbed some low hanging optimizations for LogicT. All of them follow the same principal to avoid calls of msplit, which are quite costly (for the LogicT instance).
I have attached my four patches as a tar archive. You may consider including them.
The tar archive has been removed by hubs.darcs.net. But they can be found on https://github.com/Borgvall/logict/commits/master .
