logic.private vocabulary
Factor handbook ยป Vocabulary index


Summary

Metadata
Parents:logic


Words

Tuple classes
ClassSuperclassSlots
callback-env tupleenv trail
cut-info tuplecut?
logic-env tupletable
logic-goal tuplepred args
logic-pred tuplename defs
resolver-gen tuplestate body env cut first-goal rest-goals d-head d-body defs trail d-env d-cut sub-resolver1 sub-resolver2 i loop-end yield? return?


Singleton classes
ANONYMOUSE-LOGIC-VAR
NORMAL-LOGIC-VAR


Mixin classes
LOGIC-VAR


Generic words
WordStack effect
next( generator -- yield? )


Symbol words
*anonymouse-var-no*
*trace-depth*
*trace?*
ANON-10_
ANON-11_
ANON-12_
ANON-13_
ANON-14_
ANON-15_
ANON-16_
ANON-17_
ANON-18_
ANON-19_
ANON-1_
ANON-20_
ANON-21_
ANON-22_
ANON-23_
ANON-24_
ANON-25_
ANON-26_
ANON-27_
ANON-28_
ANON-29_
ANON-2_
ANON-30_
ANON-31_
ANON-32_
ANON-33_
ANON-34_
ANON-35_
ANON-36_
ANON-37_
ANON-38_
ANON-39_
ANON-3_
ANON-40_
ANON-41_
ANON-42_
ANON-43_
ANON-44_
ANON-45_
ANON-46_
ANON-47_
ANON-48_
ANON-49_
ANON-4_
ANON-50_
ANON-51_
ANON-52_
ANON-53_
ANON-54_
ANON-55_
ANON-56_
ANON-57_
ANON-58_
ANON-59_
ANON-5_
ANON-60_
ANON-61_
ANON-62_
ANON-63_
ANON-64_
ANON-65_
ANON-66_
ANON-67_
ANON-68_
ANON-69_
ANON-6_
ANON-70_
ANON-71_
ANON-72_
ANON-73_
ANON-74_
ANON-75_
ANON-76_
ANON-77_
ANON-78_
ANON-7_
ANON-8_
ANON-9_
Head
L
L1
L2
L3
N
N1
Tail
X
Y
Z
at-the-beginning
at-the-end
dummy-item
s-callable/iter:
s-callable:
s-cut/iter:
s-cut:
s-defs-loop-end:
s-defs-loop:
s-end:
s-not-callable/inner-iter:
s-not-callable/outer-iter:
s-not-callable:
s-not-cut:
s-not-empty:
s-start:
s-unify?-exit:


Ordinary words
WordStack effect
(fact)( head pos -- )
(resolve)( goal-def/defs quot: ( env -- ) -- )
(rule)( head body pos -- )
(unify*)( x! x-env! y! y-env! trail tmp-env -- success? )
2each-until( ... seq1 seq2 quot: ( ... elt1 elt2 -- ... ? ) -- ... all-failed? )
<callback-env>( env trail -- callback-env )
<cut>( cut? -- cut-info )
<env>( -- env )
<goal>( pred args -- goal )
<pred>( name -- pred )
<resolver>( body env cut -- resolver )
called-args( args -- args' )
collect-logic-vars( seq -- vars-array )
cut?( cut-info -- ? )
def>goal( goal-def -- goal )
define-logic-pred( name -- )
define-logic-var( name -- )
dereference( term env -- term' env' )
each-until( ... seq quot: ( ... elt -- ... ? ) -- ... )
env-clear( env -- )
env-delete( x env -- )
env-get( x env -- pair/f )
env-put( x pair env -- )
logic-var?( obj -- ? )
negation-goal( goal -- negation-goal )
normalize( goal-def/defs -- goal-defs )
nquery/rec( goal-def/defs n/f -- bindings-array/success? )
proxy-var-for-'__'( -- var-symbol )
query/rec( goal-def/defs -- bindings-array/success? )
replace-'__'( before -- after )
reset-anonymouse-var-no( -- )
resolve( goal-def/defs quot: ( env -- ) -- )
resolve-body( body env cut quot: ( -- ) -- )
set-info( ? cut-info -- )
set-info-if-f( ? cut-info -- )
split-body( body -- bodies )
unify*( x x-env y y-env trail tmp-env -- success? )


Class predicate words
WordStack effect
ANONYMOUSE-LOGIC-VAR?( object -- ? )
LOGIC-VAR?( object -- ? )
NORMAL-LOGIC-VAR?( object -- ? )
callback-env?( object -- ? )
cut-info?( object -- ? )
logic-env?( object -- ? )
logic-goal?( object -- ? )
logic-pred?( object -- ? )
resolver-gen?( object -- ? )


Files