logict-0.7.1.0: A backtracking logic-programming monad.

# logict-0.7.1.0: A backtracking logic-programming monad.

Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.

Signatures

Modules

- Control
  Submodules
  - Monad
    Submodules
    - Control.Monad.Logic
      Submodules
      - Control.Monad.Logic.Class