[Haskell-cafe] Logic programming in Haskell

Bjarte M. Oestvold bjarte at nr.no
Thu Aug 19 13:57:34 EDT 2004

Stefan Monnier <monnier at iro.umontreal.ca> 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 at nr.no
Norwegian Computing Center      Phone: +47 22 85 26 22
PO Box 114 Blindern,            http://www.nr.no/~bjarte/
NO-0314 Oslo, Norway

More information about the Haskell-Cafe mailing list