if(cond1) {} else if(cond2) {} else {}
这怎么可能在Prolog?
( If1 -> Then1 ; If2 -> Then2 ; ... ; otherwise ).
请注意,如果您不能通过不同子句中的模式匹配来表达不同的条件,则只需要if-then-else.模式匹配可以表达的所有内容都应该通过模式匹配来表示,因为这通常会导致更通用且更有效的代码.