"Find a state t h a t satisfies goal-p. Start with states, and search according to successors and combiner."

(dbg :search ""&;; Search: "a" states)

(cond ((null states) fail

((funcall goal -p ( f i r s t states)) ( f i r s t states))

(t (tree-search

(funcall combiner

(funcall successors ( f i r s t states))

(rest states))

goal -p successors combiner 1) 1)