Moreover, the same hypothesis entails the only solution X = mary of the goal of finding something that can fly: :- canfly(X).
Більше того, та ж сама гіпотеза тягне за собою єдине рішення X = mary мета знайти щось, що може літати: : - canfly ( X ).