3 ms·

Why do they call it "Mini"?

• derefr 12y ago
  It's a simplified version of http://kanren.sourceforge.net http://kanren.sourceforge.net
  • michaelsbradley 12y ago
    And now there's microKanren, an even more simplified implementation that is "entirely functional and devoid of macros ... [making it] more directly portable than that of other miniKanren languages." http://minikanren.org/#microKanrenPaper http://minikanren.org/#microKanrenPaper https://github.com/jasonhemann/microKanren https://github.com/jasonhemann/microKanren
• keithflower 12y ago
  It's a minimal version of Kanren, which was originally developed by Dan Friedman and Oleg Kiselyov: http://kanren.sourceforge.net/ http://kanren.sourceforge.net/ I give a simple example of a toy use of Kanren and made a few observations about logic programming systems, here: http://apps.keithflower.org/?p=238 http://apps.keithflower.org/?p=238 Those interested will probably want to read "The Reasoned Schemer": http://mitpress.mit.edu/books/reasoned-schemer http://mitpress.mit.edu/books/reasoned-schemer
  • Quequau 12y ago
    So... Kanren doesn't look like it's actively developed anymore and now folks are working on MiniKanren. The guys doing MiniKanren appear to always work in Scheme, although lots of other folks re-implement the work they publish in whatever language they're currently infatuated with. Clojure's Core-Logic is one such project and it appears to have the most active community... but it's not really accurate to call it a faithful implementation of either Kanren or MiniKanren; rather they've used those projects as a starting point and by now they've added various other capabilities or avoided/removed others. Is that a fair summary?