logict (hackage): Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.
Keywords: bsd3|control|library|backtracking|logic-programming|logict|monad-transformers