/prolog/problems/denotational_semantics/prog_8puzzle_3/