sitelogo
','(Conjunction)/2

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.

Up read on...
scroll to top managed with ubiCMS