amb procedures

amb.scm

(define (amb? sexp)
  (and (pair? sexp) (eq? (car sexp) 'amb)))

(define (amb-choices sexp) (cdr sexp))
  
(define (seval-amb sexp succeed fail env)
  (define (try-next choices)
    (if (null? choices)
        (fail)
        (seval (car choices) succeed
               (lambda () (try-next (cdr choices))) env)
        )
    )
  (try-next (amb-choices sexp))
  )