This is the cl-kanren Reference Manual, version 0.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 04:08:07 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
cl-kanren
A minikanren implementation
cage
BSD
0.1.0
alexandria
(system).
packages.lisp
(file).
mu-kanren.lisp
(file).
interface.lisp
(file).
mu-kanren-goodies.lisp
(file).
mini-kanren.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
cl-kanren/cl-kanren.asd
cl-kanren/packages.lisp
cl-kanren/mu-kanren.lisp
cl-kanren/interface.lisp
cl-kanren/mu-kanren-goodies.lisp
cl-kanren/mini-kanren.lisp
cl-kanren/mu-kanren.lisp
packages.lisp
(file).
cl-kanren
(system).
+empty-state+
(constant).
+failed-unification+
(special variable).
+mzero+
(constant).
==
(function).
bind
(function).
call/fresh
(function).
conj
(function).
disj
(function).
equivp
(generic function).
extend-subst
(function).
failed-unification-p
(function).
id
(reader method).
(setf id)
(writer method).
lambda-$
(macro).
lambda-g
(macro).
mplus
(function).
mu-var
(function).
mu-var
(class).
mu-var-p
(function).
mu-var=
(function).
print-object
(method).
unify
(function).
unify-impl
(generic function).
unit
(function).
var-exists-in-subst-p
(function).
walk
(function).
%extend-subst
(function).
*print-mu-var-reference-p*
(special variable).
*print-mu-var-type-p*
(special variable).
mu-var-id
(function).
occurs-check
(function).
var-exists-in-subst-fn
(function).
cl-kanren/interface.lisp
mu-kanren.lisp
(file).
cl-kanren
(system).
equivp
(method).
equivp
(method).
equivp
(method).
equivp
(method).
equivp
(method).
reify-name
(generic function).
reify-subst
(function).
reify-subst-impl
(generic function).
unify-impl
(method).
unify-impl
(method).
unify-impl
(method).
unify-impl
(method).
unify-impl
(method).
unify-impl
(method).
walk*
(function).
walk-impl
(generic function).
cl-kanren/mu-kanren-goodies.lisp
interface.lisp
(file).
cl-kanren
(system).
%if-aux
(macro).
bind-plus
(macro).
call/empty-state
(function).
dummy-test
(function).
mk-reify
(function).
pull
(function).
reify-state/1st-var
(function).
take
(function).
take-all
(function).
cl-kanren/mini-kanren.lisp
mu-kanren-goodies.lisp
(file).
cl-kanren
(system).
==-check
(function).
all
(macro).
alli
(macro).
appendo
(function).
brancho
(function).
caro
(function).
cdro
(function).
choice-case
(macro).
conda
(macro).
condi
(macro).
condu
(macro).
conso
(function).
eq-caro
(function).
flatteno
(function).
listo
(function).
make-binary-relation
(function).
make-nary-relation
(function).
make-ternary-relation
(function).
map-choice
(function).
membero
(function).
nullo
(function).
pairo
(function).
permute-binary-relation
(function).
permute-ternary-relation
(function).
project
(macro).
secondo
(function).
thirdo
(function).
Packages are listed by definition order.
mu-kanren-goodies
%if-aux
(macro).
bind-plus
(macro).
call/empty-state
(function).
dummy-test
(function).
mk-reify
(function).
pull
(function).
reify-state/1st-var
(function).
take
(function).
take-all
(function).
mu-kanren
alexandria
.
common-lisp
.
+empty-state+
(constant).
+fail+
(constant).
+failed-unification+
(special variable).
+mzero+
(constant).
+succeed+
(constant).
==
(function).
bind
(function).
call/fresh
(function).
conj
(function).
disj
(function).
equivp
(generic function).
extend-subst
(function).
failed-unification-p
(function).
id
(generic reader).
(setf id)
(generic writer).
lambda-$
(macro).
lambda-g
(macro).
mplus
(function).
mu-var
(function).
mu-var
(class).
mu-var-p
(function).
mu-var=
(function).
unify
(function).
unify-impl
(generic function).
unit
(function).
var-exists-in-subst-p
(function).
walk
(function).
%extend-subst
(function).
*print-mu-var-reference-p*
(special variable).
*print-mu-var-type-p*
(special variable).
mu-var-id
(function).
occurs-check
(function).
var-exists-in-subst-fn
(function).
mini-kanren
alexandria
.
common-lisp
.
interface
.
mu-kanren
.
mu-kanren-goodies
.
==-check
(function).
all
(macro).
alli
(macro).
appendo
(function).
brancho
(function).
caro
(function).
cdro
(function).
choice-case
(macro).
conda
(macro).
condi
(macro).
condu
(macro).
conso
(function).
eq-caro
(function).
flatteno
(function).
listo
(function).
make-binary-relation
(function).
make-nary-relation
(function).
make-ternary-relation
(function).
map-choice
(function).
membero
(function).
nullo
(function).
pairo
(function).
permute-binary-relation
(function).
permute-ternary-relation
(function).
project
(macro).
secondo
(function).
thirdo
(function).
interface
alexandria
.
common-lisp
.
mu-kanren
.
reify-name
(generic function).
reify-subst
(function).
reify-subst-impl
(generic function).
walk*
(function).
walk-impl
(generic function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
The empty state
The empty stream
vector
) (v vector
) subst) ¶cons
) (v cons
) subst) ¶Jump to: | %
(
=
A B C D E F G I L M N O P R S T U V W Z |
---|
Jump to: | %
(
=
A B C D E F G I L M N O P R S T U V W Z |
---|
Jump to: | *
+
C I S |
---|
Jump to: | *
+
C I S |
---|
Jump to: | C F I M P S |
---|
Jump to: | C F I M P S |
---|