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