连词（逻辑 AND）
连词（逻辑 AND）由逗号 , 运算符（以及其他角色）表示。
子句之间的连接可以出现在查询中：
?- X = 1, Y = 2.
连词也可以出现在规则体内的子目标条款之间：
triangleSides(X,Y,Z) :-
X + Y > Z, X + Z > Y, Y + Z > X.
连词（逻辑 AND）由逗号 , 运算符（以及其他角色）表示。
子句之间的连接可以出现在查询中：
?- X = 1, Y = 2.
连词也可以出现在规则体内的子目标条款之间：
triangleSides(X,Y,Z) :-
X + Y > Z, X + Z > Y, Y + Z > X.