Контрольный список и база данных [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

Ваш базовый чехол для проверки ищет имя продукта как список, а не как строку.