Official chibi-scheme repository

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

Probabilistic miniKanren

CLP(SMT) on top of miniKanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

Nominal logic programming extensions to miniKanren, based on alphaProlog.

First-order temporal logic programming with microKanren

a lightweight, robust, scheme-like lisp implementation

miniKanren for search, SMT for solving

A variant of miniKanren which returns better answers

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.