/prolog/problems/denotational_semantics/prog_8puzzle_2/