Пролог объявляет переменную

Question

Можно ли объявить переменную к факту?

male(tom). 
male(Tom) := male(tom). 

Так, чтобы была задана переменная капитала Tom. Prolog задает прописные буквы как переменные, и я не понимаю, как заставить его работать так, как это хочет мой профессор.

Answer 1

Вам не нужно объявлять male(Tom) := male(tom).

Если вы объявили male(tom)., а затем, введя запрос male(Tom)., вы получите

2 ?- male(Tom). 
Tom = tom. 

так же, как @mbratch сказал.

Он работает так же с любым именем для переменной:

3 ?- male(X). 
X = tom. 

4 ?- male(Tommmmm). 
Tommmmm = tom. 

5 ?- male(Name). 
Name = tom.