2 ms·

I believe the official Kanren/miniKanren source is at http://kanren.sourceforge.net http://kanren.sourceforge.net and the cKanren source is at https://github.co

• swannodette 15y ago
  I think he was asking about the interpreter they demoed during their talk. A more up-to-date version of miniKanren as well as many interesting variants can be found here: http://code.google.com/p/iucs-relational-research/ http://code.google.com/p/iucs-relational-research/