Prolog。述語を結合する

Question

私はpredicate/2を、検証として「正しい」数字のリストと、検証する必要のある関数を取る必要があります。関数内の数字（number(X)と表されます）は、「真」になるためには、検証リスト内の数字と同じでなければなりません。

ライブラリでリストが「ハードコード」されているときに正しい答えを与える2つの別々のものを作ることに問題はありませんが、私は神のためにこれらを組み合わせないことができます。

私はこれまでのところ、これを持っている：

number(X) :- member(X, [1,2,3,4,5]). 

私は例and(number(2),number(4))のためを求めるとき、それはそう言っていない、とand(number(2),number(6))は何を与えるように、これは正しい結果を与えます。

今、私はpredicate/2を実行しなければなりません。これは最初の引数としてリストを取ります。 誰でも助けたり、何かヒントを与えたりできますか？

predicate(ValidationList, Function) :- ???? 

Answer 1

あなたはcall述語を使用することができます。たとえば

and(X,Y) :- call(X), call(Y). 
or(X,Y) :- call(X); call(Y). 

predicate(List, Function) :- 
    Function =.. [P,X,Y], 
    call(P, member(X, List), member(Y, List)). 

：

?- predicate([1,2,3], and(1,3)). 
true. 

?- predicate([1,2,3], and(1,4)). 
false. 

?- predicate([1,2,3], or(1,4)). 
true. 

?- predicate([1,2,3], or(4,5)). 
false. 

Answer 2

別の解決策は、unserstandする

predicate(ValList, and(X, Y)) :- 
    predicate(ValList, X), 
    predicate(ValList, Y). 

predicate(ValList, or(X, Y)) :- 
     predicate(ValList, X) 
    ; predicate(ValList, Y). 

predicate(ValList, number(X)) :- 
    member(X, ValList).