[Haskell-cafe] Logic programming in Haskell

Andrew Cheadle amc4 at doc.ic.ac.uk
Thu Aug 19 13:29:46 EDT 2004

* Shameless biased plug * ;-)

Why do logic programming in Haskell when you can use ECLiPSe:

No seriously, I use both and I love using both, but I have the right
tool for the right job mentality... The backtracking monad gets you so
far but why do your own trailing when a WAM-based architecture takes the
strain and the pain and does it more efficiently?

Just my two pennies ;-)


On Thu, 19 Aug 2004, Stefan Monnier wrote:

>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
>Haskell-Cafe mailing list
>Haskell-Cafe at haskell.org

*  Andrew Cheadle                    email:  a.cheadle at doc.ic.ac.uk *
*  Department of Computing           http://www.doc.ic.ac.uk/~amc4/ *
*  Imperial College                                                 *
*  University of London                                             *

More information about the Haskell-Cafe mailing list