This is the si-kanren Reference Manual, version 0.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 07:42:02 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).
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.lisp
si-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-kanren
common-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 |
---|