⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.

{{library}}A continuation-based, backtracking, logic programming monad. Gives some capabilities of logic-oriented languages. The library is [[GHC]]-specific.

  • [http://hackage.haskell.org/package/logict LogicT home page]