[Haskell] ANNOUNCE: logict-0.2

Dan Doel dan.doel at gmail.com
Sat Jul 7 20:55:41 EDT 2007

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

Feel free to let me know if your find any bugs, or have suggestions.

Dan Doel

[1]: http://okmij.org/ftp/papers/LogicT.pdf

More information about the Haskell mailing list