有没有办法说∃！在序言中？

Question

在序言中，有没有办法说“确实存在一个”（∃!）？ 我在想这样做像

% 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条件

Answer 1

的一种方法是如下：

only_one_tall() :- findall(X, is_tall(X), List), length(List, 1). 

这里是一个demo on ideone。