webyrd/alphaKanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

{
  "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

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