Skip to content
<awesome-gh-repos>
vic

webyrd/alphaKanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.
Source code at GitHub null
webyrd/alphaKanren.json
{
  "createdAt": "2014-01-19T22:37:19Z",
  "defaultBranch": "master",
  "description": "Nominal logic programming extensions to miniKanren, based on alphaProlog.",
  "fullName": "webyrd/alphaKanren",
  "homepage": null,
  "language": "Scheme",
  "name": "alphaKanren",
  "pushedAt": "2014-01-19T23:04:52Z",
  "stargazersCount": 25,
  "topics": [],
  "updatedAt": "2025-01-03T00:30:19Z",
  "url": "https://github.com/webyrd/alphaKanren"
}

alphaKanren

Section titled “alphaKanren”

Improved version of the nominal logic programming extensions to miniKanren, based on alphaProlog. Importantly, this version signals an error if the first argument to hash or tie is not a ground nom (atom).

Original code is described in:

William E. Byrd and Daniel P. Friedman alphaKanren: A Fresh Name in Nominal Logic Programming In Proceedings of the 2007 Workshop on Scheme and Functional Programming, Universite Laval Technical Report DIUL-RT-0701, pp. 79-90

Revised version of the paper:

http://webyrd.net/alphamk/alphamk.pdf