if-amb ( true false -- ? )


Vocabulary
backtrack

Inputs and outputs
truea quotation with stack effect ( -- ? )
falsea quotation
?a boolean


Word description
Execute the first quotation and returns t if it returns t itself. If it fails with fail or returns f, then the second quotation is executed and f is returned.

Definition