在序言中，有没有办法说“恰好存在一个”(∃!)？
我正在考虑做类似的事情
% a predicate which is proven true if there is only one tall person
only_one_tall() :- is_tall(X), is_tall(Y), X\=Y.
然后否定整个事情。 但我认为这行不通。
有人知道吗？
谢谢。
最佳答案
产生类似于标准 Prolog 中的条件的一种方法如下:
only_one_tall() :- findall(X, is_tall(X), List), length(List, 1).
这是一个demo on ideone .
关于prolog - 有没有办法说∃!在序言中？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15855034/