連詞（邏輯 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.