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 f

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/