Usage

Inside the MicroKanren\Core namespace, there are implementations of the core
µKanren functions as described in the original paper as well as common Lisp
primitives needed for their execution. As the reference implementation is in
Chez Scheme, this implementation attempts to mimic
that particular Lisp as closely as possible.

Lisp Primitives

cons($car, $cdr)

$c= cons(1, cons(2, cons(3, nil())));

Return a new cons cell with $car and
$cdr (this is the most basic primitive for creating lists).