Hosted miniKanren

8.16.0.1

Hosted miniKanren🔗ℹ

Michael Ballantyne <michael.ballantyne@gmail.com>,
Mitch Gamburg,
and Jason Hemann

syntax
(run num (term-variable ...) goal)

num = (racket natural?)

syntax
(run* (term-variable ...) goal)

syntax
(defrel (rel-name term-variable ...)
goal ...)

syntax
(== term term)

syntax
(=/= term term)

syntax
(absento term term)

syntax
(symbolo term)

syntax
(numbero term)

syntax
(stringo term)

syntax
(conj term ...)

syntax
(disj term ...)

syntax
(fresh (term-variable ...) goal ...)

syntax
(conde [goal ...] ...)