逻辑编程可用于解决许多问题，如8拼图，斑马拼图，数独，N皇后等。在这里，举例说明斑马拼图的变体如下 - 有五间房子。 英国人住在红房子里。 瑞典人有一只狗……