[Haskell-cafe] ANNOUNCE: logict-0.2
dan.doel at gmail.com
Sat Jul 7 20:55:41 EDT 2007
I've just completed a library adapting the logic programming monad from
the "Backtracking, Interleaving, and Terminating Monad Transformers" paper
into a format typical of the hierarchical libraries (based on MTL). It uses
the two-continuation passing implementation described therein.
Feel free to let me know if your find any bugs, or have suggestions.
More information about the Haskell-Cafe