Skip to content
miniKanren with a first-order representation of the search space
Racket Shell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md
common.rkt
examples.rkt
microk-fo.rkt
microk-ho.rkt
mk-fo.rkt
mk-ho.rkt
mk-syntax.rkt
test
test-fo.rkt
test-ho.rkt
tests.rkt
tools.rkt

README.md

miniKanren with a first-order representation

This implementation of miniKanren decouples the search strategy from the representation of the search space. This makes it possible to use a variety of strategies, perform program transformations (even while a program is running), and implement tools such as a debugger.

Learn more from the 2019 miniKanren Workshop paper.

You can’t perform that action at this time.