fib.logic

Generated declaration inventory of fib.logic. Source links contain the full signatures and API comments; enum variants and protocol methods belong to their linked declaration.

Name	Declaration	Defined in
==	defun	lib/fib/logic/search.fib:13
BindingUpdate	defstruct	lib/fib/logic/unify.fib:38
Goal	defenum	lib/fib/logic/search.fib:5
Goals	defenum	lib/fib/logic/search.fib:8
Search	defstruct	lib/fib/logic/search.fib:10
State	defstruct	lib/fib/logic/unify.fib:4
Term	defenum	lib/fib/logic/terms.fib:4
Transition	defenum	lib/fib/logic/search.fib:11
Work	defstruct	lib/fib/logic/search.fib:9
all	defun	lib/fib/logic/search.fib:14
any	defun	lib/fib/logic/search.fib:15
call-fresh	defun	lib/fib/logic/search.fib:16
conde	defmacro	lib/fib/logic/forms.fib:4
delay-goal	defun	lib/fib/logic/search.fib:17
empty-state	defun	lib/fib/logic/unify.fib:5
fresh	defmacro	lib/fib/logic/forms.fib:13
integer	defun	lib/fib/logic/terms.fib:6
list-term	defun	lib/fib/logic/terms.fib:10
next-answer	defun	lib/fib/logic/search.fib:82
nil-term	defun	lib/fib/logic/terms.fib:8
pair	defun	lib/fib/logic/terms.fib:9
reify-many	defun	lib/fib/logic/unify.fib:70
run	defun	lib/fib/logic/query.fib:12
run-many	defun	lib/fib/logic/query.fib:3
same-term?	defun	lib/fib/logic/terms.fib:14
start	defun	lib/fib/logic/search.fib:19
start-in	defun	lib/fib/logic/search.fib:18
step	defun	lib/fib/logic/search.fib:73
symbol	defun	lib/fib/logic/terms.fib:7
take-states	defun	lib/fib/logic/search.fib:89
term-text	defun	lib/fib/logic/terms.fib:28
unify	defun	lib/fib/logic/unify.fib:22
unify-changed	defun	lib/fib/logic/unify.fib:56
walk	defun	lib/fib/logic/unify.fib:7
zzz	defmacro	lib/fib/logic/forms.fib:25