[Haskell-cafe] Logic programming in Haskell

[Stefan Monnier]

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

I know about Curry, but I'd like a Haskell library rather than
another language.


        Stefan