[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell
Subject: [Haskell] ANNOUNCE: logict-0.2
From: Dan Doel <dan.doel () gmail ! com>
Date: 2007-07-08 0:55:41
Message-ID: 200707072055.41898.dan.doel () gmail ! com
[Download RAW message or body]
Hello all,
I've just completed a library adapting the logic programming monad from
the "Backtracking, Interleaving, and Terminating Monad Transformers" paper[1]
into a format typical of the hierarchical libraries (based on MTL). It uses
the two-continuation passing implementation described therein.
Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/logict-0.2
Tarball:
http://hackage.haskell.org/packages/archive/logict/0.2/logict-0.2.tar.gz
Feel free to let me know if your find any bugs, or have suggestions.
Dan Doel
[1]: http://okmij.org/ftp/papers/LogicT.pdf
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic