chickadee
»
nondeterminism
»
upon-failure
Identifier search
(upon-failure . body)
syntax
When backtracking execute
body
, the above operations are implemented in terms of this primitive.