- (amb-find EXPRESSION [FAILURE-VALUE]) -> *syntax
Evaluates EXPRESSION returning its value if successful (possibly after backtracking).
If EXPRESSION cannot be evaluated successfully and the expression tree is exhausted, FAILURE-VALUE is evaluated and the result is returned instead.
If no FAILURE-VALUE is specified, an exception occurs. See the amb-failure-continuation parameter below for a description of the exception.