This is the kanren-trs Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 04:01:28 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
kanren-trspackages.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.asdkanren-trs/packages.lispkanren-trs/kanren.lispkanren-trs/kanren-lib.lispkanren-trs/kanren.lisppackages.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.lispkanren.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-trscommon-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 |
|---|