数独，人有一只狗。他们正在绿房子里喝咖啡。正在那里吸 Blend 烟。N皇后等。人吸Prince烟。现正在，绿房子正在白房子的左边。他们喝牛奶。他们吸Dunhill烟。吸Dunhill正在的人房子里。如8拼图，丹麦人品茗。挪威人住正在蓝房子旁边。他们正在房子旁边的房子里喝水，我们需要定义两个函数 -left()和next()来查找哪个衡宇左边或接近谁的房子 -逻辑编程可用于处理很多问题，正在这里，