All Solution Depth-First Search

fun {DFS S}

case {Space.ask S}

of succeeded then [S]

[] failed then nil

[] alternatives(2) then

C={Space.clone S} in

{Space.commit S 1} {Space.commit C 2}

{Append {DFS S} {DFS C}}

end

Previous slide

Next slide

Back to first slide

View graphic version