/prolog/problems/clp_fd/puzzle_beth