This is the si-kanren Reference Manual, version 0.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 17:53:06 2024 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).
=/= (function).
== (function).
bind (function).
call/fresh (function).
conj (function).
disequality (function).
disj (function).
equalv? (function).
ext-s (function).
filter (function).
lvar (function).
lvar=? (function).
lvar? (function).
mapm (function).
mplus (function).
mzero (special variable).
normalize-disequality-store (function).
null? (function).
pair? (function).
subtract-s (function).
the-pos (function).
unify (function).
unit (function).
walk (function).
si-kanren/src/wrappers.lispsi-kanren.lisp (file).
src (module).
call/empty-state (function).
conde (macro).
conj+ (macro).
disj+ (macro).
dotted-pair-p (function).
eigenvalue (function).
empty-state (special variable).
equal-lists (function).
flatten (function).
fresh (macro).
lvar-or-atom (function).
mk-reify (function).
nlet-tail (macro).
norm-cons (function).
norm=lvars (function).
normalize (function).
normalize-conde (function).
normalize-fresh (function).
normalize-lists-seen (function).
normalize-subsumed (function).
pull (function).
reify-name (function).
reify-s (function).
reify-state/1st-var (function).
remove-subsumed (function).
run (macro).
run* (macro).
runi (macro).
runno (macro).
runno* (macro).
subsumed (function).
take (function).
take-all (function).
unused (function).
walk* (function).
walk-queries (function).
zzz (macro).
Packages are listed by definition order.
si-kanrencommon-lisp.
=/= (function).
== (function).
bind (function).
call/empty-state (function).
call/fresh (function).
conde (macro).
conj (function).
conj+ (macro).
disequality (function).
disj (function).
disj+ (macro).
dotted-pair-p (function).
eigenvalue (function).
empty-state (special variable).
equal-lists (function).
equalv? (function).
ext-s (function).
filter (function).
flatten (function).
fresh (macro).
lvar (function).
lvar-or-atom (function).
lvar=? (function).
lvar? (function).
mapm (function).
mk-reify (function).
mplus (function).
mzero (special variable).
nlet-tail (macro).
norm-cons (function).
norm=lvars (function).
normalize (function).
normalize-conde (function).
normalize-disequality-store (function).
normalize-fresh (function).
normalize-lists-seen (function).
normalize-subsumed (function).
null? (function).
pair? (function).
pull (function).
reify-name (function).
reify-s (function).
reify-state/1st-var (function).
remove-subsumed (function).
run (macro).
run* (macro).
runi (macro).
runno (macro).
runno* (macro).
subsumed (function).
subtract-s (function).
take (function).
take-all (function).
the-pos (function).
unify (function).
unit (function).
unused (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
| Jump to: | =
B C D E F L M N P R S T U W Z |
|---|
| Jump to: | =
B C D E F L M N P R S T U W Z |
|---|
| Jump to: | E M S |
|---|
| Jump to: | E M S |
|---|
| Jump to: | F M P S W |
|---|
| Jump to: | F M P S W |
|---|