序言检查元素存在

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