Vocabulary
backtrack

Word description
Signal that the current alternative is not acceptable. This will cause either backtracking to occur, or a failure to be signalled, as explained in the amb word description.

See also
amb, cut-amb

Definition