Prolog声明变量

Question

是否可以将变量声明为事实？

male(tom).
male(Tom) := male(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.