Prolog 循环和条件语句？

Question

Prolog 中是否有类似 for 循环和 if then 条件的东西？

Answer 1

if/then/else 可以通过 (->)/2 和 (;)/2 获得:

(    If ->
     Then
;    Else
)

有时这很有用。但一般来说(当条件包含变量时)，它会使您的程序不健全且不完整。只要可以用模式匹配描述条件，就应该使用模式匹配。然后您不仅可以检查还可以生成解决方案。