A backtracking logic-programming monad
https://github.com/Bodigrim/logict#readme