Re: [Haskell-cafe] Logic programming in Haskell

G'day all. Quoting Stefan Monnier :

Has anyone already tried to embed prolog-style logic programming as a Haskell library? Kind of like Schelog but for Haskell?

If you don't actually need free logic variables, you could try this: http://cvs.sourceforge.net/viewcvs.py/hfl/hfl/mtl/ The Logic monad (and monad transformer) provides backtracing with "all solutions", negation-as-failure, logical if-then-else with soft cut and a committed choice pruning operation. Cheers, Andrew Bromage