Name: logict Version: 0.4.2 x-revision: 1 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-2010, 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 >=2 && < 4.7, mtl>=1.0.1 && <2.1 Build-Type: Simple Exposed-Modules: Control.Monad.Logic, Control.Monad.Logic.Class Extensions: MultiParamTypeClasses, UndecidableInstances, Rank2Types, FlexibleInstances GHC-Options: -O2 -Wall