列表检查元素是否不同

Question

我想写一个谓词 different_from(Xs,X)，当且仅当 X 不同于列表 Xs 的所有元素时，它才会成功。

所以查询

different_from([3,2,5],4)

应该会成功，但是下面的查询应该会失败：

different_from([3,2,5],2)

由于谓词是一个检查，它不应该实例化它的任何一个参数。

提前感谢您提供的任何帮助。

Answer 1

这是一个非常简单的规则，由两个子句组成：

• 第一个子句说different_from在列表为空时成功，
• 第二个子句表示当列表的第一个元素与正在搜索的元素不匹配时，different_from 成功，并且当尾部的 different_from 也成功时。

这是用 Prolog 语法编写的相同内容：

different_from([], _).
different_from([H|T], E) :- E \= H, different_from(T, E).