/alphaKanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

Primary LanguageSchemeMIT LicenseMIT

Stargazers

No one’s star this repository yet.