https://github.com/miniKanren/miniKanren

Canonical miniKanren implementation
https://github.com/miniKanren/miniKanren

Last synced: about 1 month ago
JSON representation

Canonical miniKanren implementation

• Host: GitHub
• URL: https://github.com/miniKanren/miniKanren
• Owner: miniKanren
• License: mit
• Created: 2013-02-06T05:47:27.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2018-04-11T19:17:08.000Z (about 6 years ago)
• Last Synced: 2024-02-07T07:29:22.525Z (5 months ago)
• Language: Scheme
• Size: 19.5 KB
• Stars: 347
• Watchers: 17
• Forks: 31
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome - miniKanren - Canonical miniKanren implementation (Scheme)
• awesome-stars - miniKanren/miniKanren - Canonical miniKanren implementation (Scheme)

README

        
miniKanren

==========

Canonical miniKanren implementation.

Implements the language described in the paper:

William E. Byrd, Eric Holk, and Daniel P. Friedman.

miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl).

To appear in the Proceedings of the 2012 Workshop on Scheme and Functional Programming, Copenhagen, Denmark, 2012.

CORE LANGUAGE

Logical operators:

==

fresh

conde

Interface operators:

run

run*

EXTENDED LANGUAGE

Constraint operators:

=/=

symbolo

numbero

absento