|
|
|||||||||
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/conjunction/print_jp.html published 2008/12/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
