Prolog中的变量

Question

我在Prolog中有这个代码...我在ubuntu上使用swi-prolog。

follows(ilias, petros).
follows(petros,ilias).
follows(petros, demos).
follows(demos,petros).

我问这2个问题：

?- follows(petros,X),follows(X,petros).
X = ilias ;
X = demos ;
false.

?- follows(petros,makis),follows(makis,petros).
false.

获得这两种不同的结果。我的麻烦是，据我所知，makis是一个变量，就像X一样。但是prolog并没有以同样的方式回应，我无法理解为什么会这样。

提前感谢您的回答！

Answer 1

prolog中的变量是一串大写字母，小写字母，数字和下划线字符开始或者是大写字母信件或下划线。

因此，您可以使用Makis代替makis。