Prolog. Kombinieren Prädikate

Question

Ich muss eine predicate/2 machen, die eine Liste von "richtigen" Zahlen als Validierung und eine Funktion, die validiert werden muss. Die Zahlen in der Funktion (dargestellt als number(X)) müssen mit den Zahlen in der Validierungsliste übereinstimmen, um "wahr" zu werden.

Ich habe kein Problem, zwei getrennte predicates/1, die die richtige Antwort geben, wenn die Liste "hart-codiert" in der Bibliothek ist, aber ich kann für den Gott von mir nicht diese kombinieren.

ich diese haben bisher:

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

Dies gibt das korrekte Ergebnis, wie wenn ich fragen, für zum Beispiel and(number(2),number(4)), heißt es ja, und and(number(2),number(6)) gibt keine.

Aber jetzt muss ich predicate/2 tun, die die Liste als erstes Argument nimmt. Kann mir jemand helfen/einen Hinweis geben?

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

Answer 1

können Sie verwenden call Prädikat:

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)). 

Zum Beispiel:

?- 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

Eine andere Lösung

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).