backtrack vocabulary
Factor handbook ยป Vocabulary index


Documentation
Simple backtracking non-determinism

Metadata
Authors:William Schlieper


Words

Tuple classes
ClassSuperclassSlots
amb-failure tuple


Macro words
WordStack effect
amb-execute( seq -- quot )
checkpoint( quot -- quot' )


Symbol words
failure


Ordinary words
WordStack effect
amb( seq -- elt )
amb-all( quot -- )
amb-failure( -- * )
amb-lazy( seq -- elt )
bag-of( quot -- seq )
cut-amb( -- )
fail( -- )
if-amb( true false -- ? )
must-be-true( ? -- )
number-from( from -- from+n )


Class predicate words
WordStack effect
amb-failure?( object -- ? )


Files


Metadata files


Children
VocabularySummary
backtrack.private