[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
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