executes two goals....
Move to
=> <=
Darueber Spitze
See also
abort/0
::(Apply)/2
break
call/1
fcall/1
catch/3
','(Conjunction)/2
!(Cut)/0
';'(Disjunction)/2
<-(Eval)/2
fail/0
halt/0/1
->(If-then)/2
';'(If-then-else)/2
'\+'/1
once/1
repeat/0
throw/1
true/0
IF Computer > MINERVA > Manual > Reference > Predicates > Logic and control > ','(Conjunction)/2

','(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.

read on...
MINERVA
ifcomputer logo
f
Expert Services on the Web
Sprache
English
Japanese
Server
USA
Japan
Site Access
Local Index
Local Contents
Site Contents
Site Index
Printer Friendly
For imode
For PDA
Search
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/conjunction/home_de.html
published 2008/5/12 update 2001/2/7 (c) 1996-2006 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 info@ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
scroll to top managed with ubiCMS