Solution of Arrow Puzzle on SWI Prolog