2つのゴールを実行する。
','/2 は、ゴール1 とゴール2 が成功すると、成功する。
もし、ゴール1 が失敗すると、ゴール2 は実行されない。
バックトラックによって、 ゴール1、ゴール2とも 一つ以上の解を持つ。最初に ゴール2 がバックトラックされる。ゴール2の全ての解を出してから、ゴール1 がバックトラックされる。
','/2 は、優先クラス順位 1000、右結合性の組み込み挿入演算子である。
(関連 current_op/3).
ゴール1 ゴール ゴール2 ゴール
| ','(X=3,integer(X)). | X <- 3 の代入で、成功。 |
| write('goal1 - '),write(goal2). | 成功して、'goal1 - goal2'を出力する。 |
この述語は、ISO-Prolog標準に含まれる。