G'day all.
Quoting Stefan Monnier <[EMAIL PROTECTED]>:
> 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
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
