Есть ли способ сказать ∃! в прологе?

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. 

, а затем отрицая все это. Но я не думаю, что это сработает.

Кто-нибудь знает?

Спасибо.

Answer 1

Один из способов получения состояния, как, что в стандартном Прологе состоит в следующем:

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

Вот demo on ideone.