有沒有辦法說∃！在序言中？

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。