3 ms·
Check out miniKanren (http://minikanren.org http://minikanren.org)!
by btwillard 6y ago
Check out miniKanren (http://minikanren.org http://minikanren.org)!
- thelazydogsback 6y agoThough as Kanren's biding-stream merging which is a bit different than Prolog's DFS backtracking, it's good to look at but doesn't work like Prolog, so one would still need to look at the latter separately.