Name: logict Version: 0.2.1 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, Dan Doel Author: Dan Doel Maintainer: dan.doel@gmail.com Homepage: http://code.haskell.org/~dolio/logict Stability: Experimental, based on paper Tested-With: GHC Build-Depends: base < 4.3, mtl Exposed-Modules: Control.Monad.Logic, Control.Monad.Logic.Class Extensions: MultiParamTypeClasses, UndecidableInstances GHC-Options: -O2