First Solution Depth-First Search

fun {DFS S}

case {Space.ask S}

of succeeded then S

[] failed then false

[] alternatives(2) then

C={Space.clone S} in

{Space.commit S 1}

case {DFS S}

of false then {Space.commit C 2} {DFS C}

elseof SolS then SolS

end

end

end

Previous slide

Next slide

Back to first slide

View graphic version