Name: logict Version: 0.2.3 Description: A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: Synopsis: A backtracking logic-programming monad. Category: Control License: BSD3 License-File: LICENSE Copyright: Copyright (c) 2007, Dan Doel Author: Dan Doel Maintainer: dan.doel@gmail.com Homepage: http://code.haskell.org/~dolio/logict Stability: Experimental Tested-With: GHC Build-Depends: base, mtl>=1.0.1 Build-Type: Simple Exposed-Modules: Control.Monad.Logic, Control.Monad.Logic.Class Extensions: MultiParamTypeClasses, UndecidableInstances, Rank2Types, FlexibleInstances GHC-Options: -O2 -Wall