![[logo]](http://plt-scheme.org/logo.png){kind=logo} | PLT Scheme | Need Help? |
| AboutDownloadDocumentationPLaneTCommunityOutreach & Research | ||
| To load: | (require (planet dfriedman/miniKanren:1:1/minikanren)) | ||||||||||||||||||
| Old style: | (require (planet "minikanren.ss" ("dfriedman" "miniKanren.plt" 1 1))) | ||||||||||||||||||
| Package description: | An implementation of miniKanren, an embedding of logic programming into Scheme. This is the miniKanren that was presented at the 2006 Scheme Workshop in September, 2006. | ||||||||||||||||||
| Downloads this week: | 0 | ||||||||||||||||||
| Total downloads: | 201 | ||||||||||||||||||
| Tickets: | 0 | ||||||||||||||||||
| Open tickets: | 0 | ||||||||||||||||||
| Primary files: |
|
| Current version |
| PLaneT version | External Version | Source | DLs | Docs | Req. PLT |
| (1 1) | — | [browse] | 137 | [docs] | [none] |
| To load: (require (planet dfriedman/miniKanren:1:1/minikanren)) | |||||
| Available in repositories: 4.x, 3xx | |||||
| [no release notes] | |||||
| Old versions |
| PLaneT version | External Version | Source | DLs | Docs | Req. PLT |
| (1 0) | — | [browse] | 64 | [docs] | [none] |
| To load: (require (planet "minikanren.ss" ("dfriedman" "miniKanren.plt" 1 (= 0)))) | |||||
| Available in repositories: 4.x, 3xx | |||||
| [no release notes] | |||||