An implementation of μKanren in the Pony programming language, based on this paper.
See main.pony for example usage.
jtfmumm/microkanren-pony
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An implementation of μKanren in the Pony programming language, based on this paper.
See main.pony for example usage.