练习题 6.1
如果一个列表是由两段连续并且相同的元素段组成，那么我们称之为双重列表。比如，[a, b, c, a, b, c]是双重列表（因为它是由两个[a, b, c]构成），[foo, gubble, foo, gubble]也是双重列表。另一方面，[foo, gubble, foo]就不是双重列表。请写出一个谓词doubled(List)，可以检查参数中的List是否为双重列表。
我的答案和解释
doubled(List) :- append(L, L, List).
思路：由于双重列表是由两段相同的元素段组成，所以可以看做两个相同的列表，组成了双重列表，借助之前定义的append/3谓词，将第一个参数和第二个参数传入相同的变量，第三个参数就是需要验证的List。由于只是验证List是否满足双重列表，所以使用append/3不会有太多性能问题。
练习题 6.2
回文是指一个单词或者短语有相同的字母序列正向和反向组成，比如，‘rotator’，‘eve’和‘nurses run’都是回文。请写出一个谓词palindrome(List)，检查输入的List是否是一个回文，比如，如果查询：
?- palindrome([r, o, t, a, t, o, r]).
或者查询：
?- palindrome([n, u, r, s, e, s, r, u, n]).
Prolog会回答true，但是如果查询：
?- palindrome([n, o, t, h, i, s]).
Prolog会回答false。
我的答案和解释
palindrome(List) :- rev(List, R), R = List.
思路：回文的描述如果从另外一个角度来解读的话，就是列表和反转后的列表是相等的。所以或者输入列表的反转列表R，然后R和List应该能够合一，那么List就是一个回文。
练习题 6.3
请写出一个谓词toptail(InList, OutList)，当InList预算少于2个时返回false，否则删除第一个和最后一个元素，并且将剩余的列表作为结果返回到第二个参数中。比如：
toptail([a], T).
false
toptail([a, b], T).
T = []
toptail([a, b, c], T).
T = [b]
（提示：这里可以考虑使用append/3）
我的答案和解释
toptail([H|T], Result) :- rev(T, [RevH|RevT]), rev(RevT, Result).
思路：我自己没有想出使用append/3构建这个谓词的场景，而是使用了rev/2，首先正向获取输入列表的尾部，然后反转尾部列表，然后获取其尾部（即去掉了最后一个元素），最后将RevT在反转回来，得到结果。
练习题 6.4
请写出一个谓词last(List, X)，其中List为至少存在一个元素的列表，并且X是列表List的最后一个元素时为真。请使用两种方式写出这个谓词的实现：
- 使用rev/2完成last/2的定义。
- 使用递归完成last/2的定义。
我的答案和解释
-
使用rev/2的方式如下：
last(List, X) :- rev(List, [X|_]). -
使用递归的方式如下：
last([X], X).
last([_|T], X) :- last(T, X).
练习题 6.5
请写出一个谓词swapfl(List1, List2)，其中List1和List2都是列表，如果List1和List2除了头尾元素是互相调换的，其他部分都是相同的，那么谓词会返回真。可以借助append/3，或者递归，或者其他谓词实现。
我的答案和解释
首先是使用append/3实现的版本，这个版本判断为真的情况没有问题，但是为假的情况，会报错，内存耗尽，应该是实现的方式存在问题，计算量太大了：
swapfl(List1, List2) :-
append(H1, Same, H1_Same),
append(H1_Same, H2, List1),
append(H2, Same, H2_Same),
append(H2_Same, H1, List2).
接下来是递归版本，这个版本我个人觉得不错，思路清晰明了，性能也较好。基础子句是只包含两个元素的列表对比，递归子句将其中相同的元素逐一去掉：
swapfl_recursive([H1, H2], [H2, H1]).
swapfl_recursive([H1, H | T1], [H2, H | T2]) :-
swapfl_recursive([H1 | T1], [H2 | T2]).
练习题 6.6
这里有一个有趣的逻辑谜题：一条街上有三栋相邻并且颜色不同的房子，三种颜色是红、蓝和绿。不同国家的人住在不同的房子里，他们都拥有不同的宠物。下面是关于他们的一些事实：
- 英国人住在红色房子里。
- 西班牙人的宠物是豹子（jaguar）。
- 日本人住在宠物是蛇的房子右边。
- 宠物是蛇的主人住在蓝色房子左边。
问题：那个主人的宠物是斑马（zebra）？不要自己得出答案，而是定义一个谓词zebra/1告诉宠物主人的国籍。
（提示：思考如何使用Prolog描述房子和街道。为四个限制条件编写代码。也许member/2和sublist/2会有用。）
我的答案和解释
street(house(english, red, Pet1), house(spanish, Color1, jaguar), house(japanese, Color2, Pet2)) :-
member(Pet1, [zebra, snake]),
member(Color1, [blue, green]),
member(Pet2, [zebra, snake]), Pet2 = Pet1, Pet2 = snake,
Color2 = blue, Color1 = Color2.
zebra(X) :- street(house(X, _, zebra), _, _);
street(_, house(X, _, zebra), _);
street(_, _, house(X, _, zebra)).
运行结果如下：
?- zebra(X).
X = japanese
思路：个人感觉这个解决方案不是很好，主要想法是street由三个house构成，house是包含了人、宠物和房子颜色的复杂语句；其中四个事实由规则的主干描述：主要是限制每个条件的可能值，题目中最后描述的2个事实，可以稍微翻译一下，比如“日本人住在宠物是蛇的房子右边”，其理解为日本人的宠物不能是蛇，这个理解是否由Prolog自动完成，我还没有好的思路。
最后zebra/1谓词就是获取street/3中，house复杂语句中最后一项值为zebra的第一个参数值，即国籍。