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-kanrenA 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.asdcl-kanren/packages.lispcl-kanren/mu-kanren.lispcl-kanren/interface.lispcl-kanren/mu-kanren-goodies.lispcl-kanren/mini-kanren.lispcl-kanren/mu-kanren.lisppackages.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.lispmu-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.lispinterface.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.lispmu-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-kanrenalexandria.
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-kanrenalexandria.
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).
interfacealexandria.
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 |
|---|