This is the si-kanren Reference Manual, version 0.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 06:42:06 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
si-kanren
A 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/src
si-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.lisp
src
(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.lisp
si-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-kanren
common-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 |
---|