2 ms·
In addition to miniKanren, there's actual Kanren. http://kanren.sourceforge.net/ http://kanren.sourceforge.net/ What Kanren does is show how functional progra
by rossjudson 14y ago
In addition to miniKanren, there's actual Kanren. http://kanren.sourceforge.net/ http://kanren.sourceforge.net/
What Kanren does is show how functional programming and logic programming can be viewed as roughly the same thing.
It's interesting that generalized parsing is also more or less like logic programming.
So functional programming w/delimited continuations == generalized parsing == logic programming. Sorta.