((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning
PLaneT > dfriedman > miniKanren.plt
View packages:  [4.x] | 3xx
[contribute a package / log in]
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:
minikanren.ss
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]