五个房子从左到右又有五个位置，所以我们可以设定谓词 house(A, Houses)，
其中 A 就是使事实成立的一个 people 实例，house(A, Houses)表示 A 的房子在
五个房子中的相对位置，一共有五种。
eq()函数表示五个房子的布局。其中用 var()来表示每个房子的特征。
最后一个规则就是，当所有事实成立时，我们便可得出一个布局。
1.4 实验代码（其中红色部分为填补的代码）
from kanren import *
from kanren.core import lall # lall
包用于定义规则
import time
#
定义
left()
函数
def left(q, p, list):
return membero((q,p), zip(list, list[1:]))
#
定义
next()
函数
def next(q, p, list):
return conde([left(q, p, list)], [left(p, q, list)])
'''声明房子变量 '''
houses = var()
''' 给出条件语句 '''
rules_zebraproblem = lall(
(eq, (var(), var(), var(), var(), var()), houses), # 5
个
var()
分别代表人、身份、饮料、动物、屋子颜色
#
房子里的每个子成员
有五个属性
: membero(
国家，身份，饮料，宠物，房子
)
(membero,('英国人', var(), var(), var(), '红色'), houses), # 1.
英国人住在红色的房子里
(membero,('西班牙人', var(), var(), '狗', var()), houses), # 2.
西班牙人养了一条狗
(membero,('日本人', '油漆工', var(), var(), var()), houses), # 3.
日本人是一个油漆工
(membero,('意大利人', var(), '茶', var(), var()), houses), # 4.
意大利人喜欢喝茶
(eq,(('挪威人', var(), var(), var(), var()), var(), var(), var(),
var()), houses),# 5.
挪威人住在左边的第一个房子里
(left,(var(), var(), var(), var(), '白色'),(var(), var(), var(), var(),
'绿色'), houses), # 6.
绿房子在白房子的右边
(membero,(var(), '摄影师', var(), '蜗牛', var()), houses),
# 7.
摄影师养了一只蜗牛
(membero,(var(), '外交官', var(), var(), '黄色'), houses),
# 8.
外交官住在黄房子里
(eq, (var(), var(), (var(), var(), '牛奶', var(), var()), var(), var()),
houses),# 9.
中间那个房子的人喜欢喝牛奶
(membero,(var(), var(), '咖啡', var(), '绿色'), houses),
评论0