* Shameless biased plug * ;-) Why do logic programming in Haskell when you can use ECLiPSe: www.icparc.ic.ac.uk/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 ;-) Andy 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
********************************************************************* * Andrew Cheadle email: a.cheadle@doc.ic.ac.uk * * Department of Computing http://www.doc.ic.ac.uk/~amc4/ * * Imperial College * * University of London * *********************************************************************