prolog - Prolog の OR 条件

Question

数値が 3、5、または 7 のいずれかで割り切れるかどうかを確認したい。

次のようなルールをどのように書くことができますか-

isDivide(N) :- N mod 3 =:= 0 OR  N mod 5 =:= 0 OR N mod 7 =:= 0. 

Answer 1

isDivide(N) :- N mod 3 =:= 0. 
isDivide(N) :- N mod 5 =:= 0. 
isDivide(N) :- N mod 7 =:= 0. 

または：

isDivide(N) :- 
    N mod 3 =:= 0 
    ;  N mod 5 =:= 0 
    ; N mod 7 =:= 0. 

;これは行の終わりではなく、次の行の先頭にあることに注意してください。これは純粋にスタイルの問題ですが、それに従うことを強くお勧めします。