This is the kanren-trs Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 04:08:10 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
kanren-trs
packages.lisp
(file).
kanren.lisp
(file).
kanren-lib.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
kanren-trs/kanren-trs.asd
kanren-trs/packages.lisp
kanren-trs/kanren.lisp
kanren-trs/kanren-lib.lisp
kanren-trs/kanren.lisp
packages.lisp
(file).
kanren-trs
(system).
+fail+
(symbol macro).
+succeed+
(symbol macro).
==
(function).
all
(macro).
alli
(macro).
conda
(macro).
conde
(macro).
condi
(macro).
condu
(macro).
defconst
(macro).
equivp
(generic function).
fresh
(macro).
reify-subst
(function).
reify-subst-impl
(generic function).
run
(macro).
unify
(function).
unify-impl
(generic function).
walk*
(function).
walk-impl
(generic function).
%%+empty-stream+
(special variable).
%%+empty-subst+
(special variable).
%%+fail+
(special variable).
%%+succeed+
(special variable).
+empty-stream+
(symbol macro).
+empty-subst+
(symbol macro).
all-aux
(macro).
bind
(function).
bindi
(function).
binding-id
(function).
binding-val
(function).
case-inf
(macro).
choice
(function).
choice
(structure).
choice-head
(reader).
(setf choice-head)
(writer).
choice-p
(function).
choice-tail
(reader).
(setf choice-tail)
(writer).
cond-aux
(macro).
copy-choice
(function).
copy-id
(function).
extend-subst
(function).
id
(function).
id
(structure).
id-bound-p
(function).
id-name
(reader).
id-p
(function).
ifa
(macro).
ife
(macro).
ifi
(macro).
ifu
(macro).
map-inf
(function).
mplus
(function).
mplusi
(function).
mzero
(macro).
reify
(function).
reify-name
(function).
unit
(macro).
walk
(function).
kanren-trs/kanren-lib.lisp
kanren.lisp
(file).
kanren-trs
(system).
choice-case
(macro).
make-binary-relation
(function).
make-nary-relation
(function).
make-ternary-relation
(function).
map-choice
(function).
permute-binary-relation
(function).
permute-ternary-relation
(function).
Packages are listed by definition order.
kanren-trs
common-lisp
.
+fail+
(symbol macro).
+succeed+
(symbol macro).
==
(function).
all
(macro).
alli
(macro).
choice-case
(macro).
conda
(macro).
conde
(macro).
condi
(macro).
condu
(macro).
defconst
(macro).
equivp
(generic function).
fresh
(macro).
make-binary-relation
(function).
make-nary-relation
(function).
make-ternary-relation
(function).
map-choice
(function).
permute-binary-relation
(function).
permute-ternary-relation
(function).
reify-subst
(function).
reify-subst-impl
(generic function).
run
(macro).
unify
(function).
unify-impl
(generic function).
walk*
(function).
walk-impl
(generic function).
%%+empty-stream+
(special variable).
%%+empty-subst+
(special variable).
%%+fail+
(special variable).
%%+succeed+
(special variable).
+empty-stream+
(symbol macro).
+empty-subst+
(symbol macro).
all-aux
(macro).
bind
(function).
bindi
(function).
binding-id
(function).
binding-val
(function).
case-inf
(macro).
choice
(function).
choice
(structure).
choice-head
(reader).
(setf choice-head)
(writer).
choice-p
(function).
choice-tail
(reader).
(setf choice-tail)
(writer).
cond-aux
(macro).
copy-choice
(function).
copy-id
(function).
extend-subst
(function).
id
(function).
id
(structure).
id-bound-p
(function).
id-name
(reader).
id-p
(function).
ifa
(macro).
ife
(macro).
ifi
(macro).
ifu
(macro).
map-inf
(function).
mplus
(function).
mplusi
(function).
mzero
(macro).
reify
(function).
reify-name
(function).
unit
(macro).
walk
(function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
head
.
tail
.
structure-object
.
Jump to: | (
=
A B C D E F G I M P R U W |
---|
Jump to: | (
=
A B C D E F G I M P R U W |
---|
Jump to: | %
+
H N S T |
---|
Jump to: | %
+
H N S T |
---|
Jump to: | C F I K P S |
---|
Jump to: | C F I K P S |
---|