prolog笔记 变量和统一性

?- X=1.
正确。只有大写字母和_开头的是变量。

?- x=1.
Goal (directive) failed: user: (x=1)
小写，不是变量，是常量，不能代入。

?- _=“unterstrich”.
正确。_是匿名变量。

?- val(X,Y)=val(A,B).
Singleton variables: [X,Y,A,B]

?- val(X,Y,_)=val(X,Y).
Goal (directive) failed: user: (val(_G1533,_G1534,_G1535)=val(_G1533,_G1534))

?- A(1,2,3)=funktion(1,2,3).
Syntax error: Operator expected
变量不能带入functor。

?- 1+1=2.
Goal (directive) failed: user: (1+1=2)

?- mensch(X) == mensch(sabine).
Goal (directive) failed: user: (mensch(_G1521)==mensch(sabine))

?- A=a,a==A.
正确。

?- a==A,a=A.
Goal (directive) failed: user: (a==_G1519,a=_G1519)

?- X=f(X).
没有ERROR或者Warning提示。根据课本知识，这样的循环可以创造出一个无限的树结构。