if语句中的if else if子句类似于C/C++

Question

在c语言中我有类似的东西:

if(cond1)
{}
else if(cond2)
{}
else
{}

这怎么可能在Prolog？

Answer 1

(   If1 -> Then1
;   If2 -> Then2
;   ...
;   otherwise
).

请注意,如果您不能通过不同子句中的模式匹配来表达不同的条件,则只需要if-then-else.模式匹配可以表达的所有内容都应该通过模式匹配来表示,因为这通常会导致更通用且更有效的代码.

Answer 2

(cond1 ->
    consequent1
; cond2 ->
    consequent2
;
    alternative
)

为了记录,这被称为条件.