Abstraction of Breadth-First Search

(define search



(lambda (stack next success)

(cond ((null? stack) NIL)

((success (car stack)) (car stack))

(else (search
(append (cdr stack)
(next (car stack)))
next
success)))))

Previous slide

Next slide

Back to first slide

View graphic version