"Find a state that satisfies goal-p. Start with states,
and search according to successors and combiner.
Don't try the same state twice."
"Find a state that satisfies goal-p. Start with states,
and search according to successors and combiner.
Don't try the same state twice."