|
|
|||||||||
executes two goals.
+Goal1,+Goal2
','(+Goal1,+Goal2)
','/2 succeeds if Goal1 and Goal2 succeed. If
Goal1 fails Goal2 will not be executed.
By backtracing Goal1
as well as Goal2 can have more than one solution. First Goal2 is backtraced. After finding all solutions of Goal2 Goal1 will
be backtraced.
','/2 is a predefined infix-operator with priority 1000 which
is right-associative (see also current_op/3).
Arguments
Goal1 goal Goal2 goal
Examples
| ','(X=3,integer(X)). | Succeeds with substitution X <- 3. |
| write('goal1 - '),write(goal2). | Succeeds and writes 'goal1 - goal2'. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
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_de.html published 2008/7/7 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
