Our first Kanren Logic Programming in miniKanren miniKanren: it’s like Racket == run fresh conde recursion appendo Arithmetic suite. Previous Next