Prolog技术问询：如何实现判断列表含7和8的member_7_and_8谓词

嘿，你已经搞定了前面几个谓词，做得不错！关于member_7_and_8的实现，其实有两种很直观的思路，我给你拆解一下：

既然你已经写好了member_of来判断元素是否在列表中，那实现“同时包含7和8”就很简单了——只需要让两个member_of的目标同时成立就行。Prolog里的逗号代表逻辑与，只有当两个条件都满足时，整个谓词才会返回真。

代码实现：

member_7_and_8(List) :-
    member_of(7, List),
    member_of(8, List).

这种方法的好处是完全复用你已有的代码，不用重复写递归逻辑，简洁又不容易出错。

如果你想自己从头实现递归逻辑，也没问题。核心思路是遍历列表，确保列表里同时存在7和8。可以分三种情况处理：

1. 如果当前列表的头是7，那么剩下的子列表里必须包含8
2. 如果当前列表的头是8，那么剩下的子列表里必须包含7
3. 如果当前列表的头既不是7也不是8，那就递归检查剩下的子列表是否同时包含7和8

代码实现（可以复用你已有的member_8和member_of）：

member_7_and_8([7|Rest]) :- member_8(Rest).
member_7_and_8([8|Rest]) :- member_of(7, Rest).
member_7_and_8([_|Rest]) :- member_7_and_8(Rest).

当然，你也可以把里面的member_8和member_of替换成直接的判断逻辑，不过复用已有的谓词会让代码更简洁。

测试示例 #

你可以用这些例子验证效果：

• member_7_and_8([1,7,2,8]) → 会返回true（同时包含7和8）
• member_7_and_8([7,3,4]) → 会返回false（缺少8）
• member_7_and_8([8,5,6]) → 会返回false（缺少7）

内容的提问来源于stack exchange，提问作者EllisTheEllice