Re: [Haskell-cafe] Logic programming in Haskell

Stefan Monnier writes:

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

See Proceedings of the 1999 Haskell Workshop (http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-1999/1999-28.pdf) and the paper Embedding Prolog in Haskell by Seres and Spivey. There's also a paper by the same authors at ICLP that year. -- Bjarte M. Østvold Email: bjarte@nr.no Norwegian Computing Center Phone: +47 22 85 26 22 PO Box 114 Blindern, http://www.nr.no/~bjarte/ NO-0314 Oslo, Norway