4 ms·

Towards a Haskell Logic Library

• 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.
• maaku 13y ago
  Is Curry relevant here?
  • swannodette 13y ago
    It is! Curry is much more like a functional programming language with logic programming features. miniKanren and miniKanren-like systems are usually shallow embeddings of relational/constraint programming in some host language.