| 2つのゴールを実行する。
+ゴール1,+ゴール2
','(+ゴール1,+ゴール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標準に含まれる。
関連
abort/0,
break/0,
call/1,
fcall/1,
catch/3,
'!'(cut)/0,
';'(disjunction)/2,
fail/0,
true/0,
halt/0/1,
'->'(if-then)/2,
';'(if-then-else)/2,
'\+'(not provable)/1,
once/1,
repeat/0,
throw/1.
|
