tests :- 
  test(InitialState),
  format("~n***** Initial state: ~p.",[S]),
  do(gs(InitialState,Solution)),
  format("~n***** Path: ~p.",[Solution]),
  wait_for_input,
  fail.

tests.

test([1,2,3,4,5,o,6,7,8]).
test([1,2,3,4,5,8,6,o,7]).
test([1,o,3,4,2,8,6,5,7]).





wait_for_input :- get0(_).