This is the si-kanren Reference Manual, version 0.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 06:39:53 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
si-kanrenA micro-Kanren implementation in Common Lisp
rgc
MIT
0.1.0
src (module).
Modules are listed depth-first from the system components tree.
si-kanren/srcsi-kanren (system).
si-kanren.lisp (file).
wrappers.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
si-kanren/src/si-kanren.lispsrc (module).
absento/u (function).
bind (function).
call/fresh (function).
check-a/t->disequality (function).
conj (function).
disequality (function).
disj (function).
equalv? (function).
ext-a (function).
ext-a-with-pred (function).
ext-s (function).
ext-ty (function).
filter (function).
lvar (function).
lvar=? (function).
lvar? (function).
make-pred-a (function).
make-type-constraint (function).
make-type-constraint/x (function).
mapm (function).
mplus (function).
mzero (special variable).
normalize-d<s/t/a (function).
null? (function).
pair? (function).
pred-of (function).
reform-a (function).
reform-a+ (function).
reform-t (function).
subsumed-d-pr/a? (function).
subsumed-d-pr/t? (function).
subtract-s (function).
tag-of (function).
tag=? (function).
tag? (function).
the-pos (function).
unify (function).
unit (function).
walk (function).
si-kanren/src/wrappers.lispsi-kanren.lisp (file).
src (module).
a-of (function).
c-of (function).
call/empty-state (function).
coerce->l (function).
coerce->v (function).
conj+ (macro).
d-of (function).
disj+ (macro).
dotted-pair-p (function).
drop-pred-t/a (function).
eigenvalue (function).
empty-state (function).
equal-lists (function).
flat-d (function).
flatten (function).
l>v (function).
lvar-or-atom (function).
make-st (function).
member-nested (function).
mk-reify (function).
nlet-tail (macro).
norm-cons (function).
norm=lvars (function).
normalize (function).
normalize-a (function).
normalize-conde (function).
normalize-fresh (function).
normalize-lists-seen (function).
normalize-subsumed (function).
normalize-ty (function).
part (function).
part/a (function).
partition* (function).
pull (function).
reify-name (function).
reify-s (function).
reify-state/1st-var (function).
remove-subsumed (function).
runno (macro).
runno* (macro).
s-of (function).
s/c-of (function).
sort-part (function).
subsumed (function).
take (function).
take-all (function).
ty-of (function).
unused (function).
v>l (function).
walk* (function).
walk-queries (function).
zzz (macro).
Packages are listed by definition order.
si-kanrencommon-lisp.
a-of (function).
absento/u (function).
bind (function).
c-of (function).
call/empty-state (function).
call/fresh (function).
check-a/t->disequality (function).
coerce->l (function).
coerce->v (function).
conj (function).
conj+ (macro).
d-of (function).
disequality (function).
disj (function).
disj+ (macro).
dotted-pair-p (function).
drop-pred-t/a (function).
eigenvalue (function).
empty-state (function).
equal-lists (function).
equalv? (function).
ext-a (function).
ext-a-with-pred (function).
ext-s (function).
ext-ty (function).
filter (function).
flat-d (function).
flatten (function).
l>v (function).
lvar (function).
lvar-or-atom (function).
lvar=? (function).
lvar? (function).
make-pred-a (function).
make-st (function).
make-type-constraint (function).
make-type-constraint/x (function).
mapm (function).
member-nested (function).
mk-reify (function).
mplus (function).
mzero (special variable).
nlet-tail (macro).
norm-cons (function).
norm=lvars (function).
normalize (function).
normalize-a (function).
normalize-conde (function).
normalize-d<s/t/a (function).
normalize-fresh (function).
normalize-lists-seen (function).
normalize-subsumed (function).
normalize-ty (function).
null? (function).
pair? (function).
part (function).
part/a (function).
partition* (function).
pred-of (function).
pull (function).
reform-a (function).
reform-a+ (function).
reform-t (function).
reify-name (function).
reify-s (function).
reify-state/1st-var (function).
remove-subsumed (function).
runno (macro).
runno* (macro).
s-of (function).
s/c-of (function).
sort-part (function).
subsumed (function).
subsumed-d-pr/a? (function).
subsumed-d-pr/t? (function).
subtract-s (function).
tag-of (function).
tag=? (function).
tag? (function).
take (function).
take-all (function).
the-pos (function).
ty-of (function).
unify (function).
unit (function).
unused (function).
v>l (function).
walk (function).
walk* (function).
walk-queries (function).
zzz (macro).
Definitions are sorted by export status, category, package, and then by lexicographic order.
T if v in walking l is another lvar
whether el is a member of l, el can be atom or cons, l can be list of atoms or not
| Jump to: | =
A B C D E F L M N P R S T U V W Z |
|---|
| Jump to: | =
A B C D E F L M N P R S T U V W Z |
|---|
| Jump to: | M S |
|---|
| Index Entry | Section | ||
|---|---|---|---|
| | |||
| M | |||
mzero: | Private special variables | ||
| | |||
| S | |||
Special Variable, mzero: | Private special variables | ||
| | |||
| Jump to: | M S |
|---|
| Jump to: | F M P S W |
|---|
| Jump to: | F M P S W |
|---|