Package miniKanren.plt contributed by dfriedman [docs]
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: 348
Tickets:0
Open tickets:0
Primary files:
NameContract
==
conde
fresh
run
run*
conda
condu
project
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 1)
284
[none]2007-04-01
To load: (require (planet dfriedman/miniKanren:1:1/minikanren))
Available in repositories: 4.x, 3xx
[no release notes]
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)
64
[none]2007-04-01
To load: (require (planet "minikanren.ss" ("dfriedman" "miniKanren.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx
[no release notes]