小编Ram*_*ete的帖子

我想在Prolog中为同一个原子有两个名称：

player(thomas).
player(william).
teamOfPlayer(thomas, redSocks).
teamOfPlayer(william, redSocks).
tom :- thomas.
will :- william.

teamOfPlayer(will, X).

我希望能够使用“ william”原子和“ will”原子来引用William。

我知道我可以使用函子来定义昵称：

nick(tom, thomas).
nick(will, william).

然后，

nick(tom,X), teamOfPlayer(X, Y).

但我想避免所有这些冗长的内容。