Next: ref-sem-ctr-naf, Previous: ref-sem-ctr-dis, Up: ref-sem-ctr [Contents][Index]
As an alternative to the use of cuts, and as an extension to the disjunction syntax, Prolog provides the construct:
(If -> Then ; Else)
This is the same as the if-then-else construct in other programming languages. Procedurally, it calls the If goal, committing to it if it succeeds, then calling the Then goal, otherwise calling the Else goal. Then and Else, but not If, can produce more solutions on backtracking.
Cuts inside of If do not make much sense and are not recommended. If you do use them, then their scope is limited to If itself.
The if-then-else construct is often used in a multiple-branch version:
( If_1 -> Then_1 ; If_2 -> Then_2 … ; /* otherwise -> */ WhenAllElseFails )
In contexts other than as the first argument of ;/2
, the
following two goals are equivalent:
(If -> Then) (If -> Then ; fail)
That is, the ‘->’ operator has nothing to do with, and should not be confused with, logical implication.
once/1
is a control construct that provides a “local cut”.
That is, the following three goals are equivalent:
once(If) (If -> true) (If -> true ; fail)
Finally, there is another version of if-then-else of the form:
if(If,Then,Else)
which differs from (If -> Then ; Else)
in that
if/3
explores all solutions to If. This feature
is also known as a “soft cut”. There is a small time penalty for
this—if If is known to have only one solution of interest, the
form (If -> Then ; Else)
should be preferred.