リストとデータベースをチェックする[Prolog]

Question

私は、リストを事実と比較することができるPrologの述語を開発する必要があります。言い換えれば、リストに存在する製品の名前がす​​べてデータベースにある場合（実際には）、「はい」と答えなければならず、そうでなければ「いいえ」と言います。 述語は明らかに製品名のリストを受け取ります。 現時点では、私はこのコードを持っています。

domains 
    state = reduced ; normal 
    element = string 
    list = element* 
database 
    producte (string, integer, state) 
predicates 
    nondeterm check(list) 
clauses 
    % ---> producte(description , price , state) 
    producte("Enciam",2,normal). 
    producte("Llet",1,reduced). 
    producte("Formatge",5,normal). 
    %unique case 
    check([Name]):- 
     producte([Name],_,_). 
    %general case 
    check([D|T]):- 
     producte(D,_,_), 
     check(T). 
Goal 
    check(["Enciam","Llet","Formatge"]). 

Answer 1

チェックの基本ケースは、製品名を文字列ではなくリストとして検索します。