[Haskell-cafe] Logic programming in Haskell

ajb at spamcop.net ajb at spamcop.net
Thu Aug 19 20:05:33 EDT 2004


G'day all.

Quoting Stefan Monnier <monnier at iro.umontreal.ca>:

> 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


More information about the Haskell-Cafe mailing list