Implementation of µKanren (microKanren) as presented in this paper by Hemann and Friedman.
See playground.rkt for a small demo of how to use it.
ashton314/microKanren
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Implementation of µKanren (microKanren) as presented in this paper by Hemann and Friedman.
See playground.rkt for a small demo of how to use it.