[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:


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.

Andrew Bromage

More information about the Haskell-Cafe mailing list