Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Is there a copy of their interpreter available? I'd like to see how the relations are setup to be able to "run backwards".


They said they would send it along, but they wanted to make the parser relational as well. When I get it I'll do a write up about it.


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


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/





Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: