Our first Kanren

Logic Programming in miniKanren

Setup

1. Install a DrRacket (>= 8.0)
2. Language>Choose Language>The Racket Language>OK
3. File>Package Manager>'minikanren-ee'>install
4. Make sure your file begins with the following:

 #lang racket
 (require minikanren-ee)

miniKanren: it’s like Racket

==

run

fresh

conde

recursion

appendo

Arithmetic suite.