https://github.com/miniKanren/miniKanren

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

Last synced: 3 months 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 (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2018-04-11T19:17:08.000Z (over 6 years ago)
• Last Synced: 2024-05-15T13:07:22.777Z (6 months ago)
• Language: Scheme
• Size: 19.5 KB
• Stars: 350
• Watchers: 17
• Forks: 31
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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