logict-0.8.0.0: A backtracking logic-programming monad.

# logict-0.8.0.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.

Modules

logict-0.8.0.0

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