backtrack vocabulary
Factor handbook » Vocabulary index

Documentation
Simple backtracking non-determinism

Metadata

Authors:

William Schlieper

Words

Tuple classes

Class	Superclass	Slots
amb-failure	tuple

Macro words

Word	Stack effect
amb-execute	( seq -- quot )
checkpoint	( quot -- quot' )

Symbol words

failure

Ordinary words

Word	Stack 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

Word	Stack effect
amb-failure?	( object -- ? )

Files

resource:extra/backtrack/backtrack.factor
resource:extra/backtrack/backtrack-docs.factor
resource:extra/backtrack/backtrack-tests.factor

Metadata files

resource:extra/backtrack/authors.txt
resource:extra/backtrack/summary.txt