webyrd / alphaKanrenLinks

Nominal logic programming extensions to miniKanren, based on alphaProlog.
25Updated 11 years ago

Alternatives and similar repositories for alphaKanren

Users that are interested in alphaKanren are comparing it to the libraries listed below

Sorting: