4 ms·

Those interested in this might also be interested in an older (1999) discussion of embedding Prolog in an earlier version of Haskell: http://www.silvija.net/000

by mjn 13y ago

Those interested in this might also be interested in an older (1999) discussion of embedding Prolog in an earlier version of Haskell: http://www.silvija.net/0000OxfordPublications/seres_haskell99.pdf http://www.silvija.net/0000OxfordPublications/seres_haskell9... And a 2004 LtU discussion of that paper: http://lambda-the-ultimate.org/node/112 http://lambda-the-ultimate.org/node/112

swannodette 13y ago
the Spivey & Seres paper influenced miniKanren, so things are coming full circle here :) Having worked on core.logic in Clojure for quite some time now, I'm curious to see how far along these ideas get pushed in Haskell.