19 Aug
2004
19 Aug
'04
8:05 p.m.
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