序言檢查元素存在

Question

的問題 「如何檢查3是列表的成員」我所定義的後續謂詞

member(E,[E|_]). 
member(E,[_|R] :- member(E,R). 

isthreeinlist(L) :- member(3,L). 

但如何「檢查3或4是否爲成員一個列表」？

任何提示？

（3和4很容易）。

Answer 1

;/2 

是或謂詞在序言，檢查描述here

例如

threeorfor(X):- member(3,X); member(4,X). 
    threeorfor([1,2,5]). 
false 

threeorfor([1,2,3]). 
true 
false 
threeorfor([1,2,4]). 
true