Prolog中的OR条件

我想检查一个数字是否可以被3、5或7中的一个整除

我怎么能写一条规则，比如-

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

或者：

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

注意，

不在行尾，而是在下一行的开头。
这纯粹是一个风格问题，但强烈建议遵循它

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