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.
| 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.