Пролог, список с ключевым механизмом

Question

Доброе утро! Я хотел бы решить эту проблему, я потерян. У меня есть эти данные

ing(salt).
ing(egg).
ing(oil).
ing(water).

food(pa, [salt,egg,oil]).
food(he, [salt,egg,water]).

как я могу найти еду, если, например, данные ингредиенты похожи на это: [соль, масло], поэтому результатом должна быть еда >> 'pa' Что-то вроде:

foodOf([salt,oil]):- ...
//must return the food in general not only the *string* 'pa'

Answer 1

Я решил это!

list(E,[E|_]).
list(E,[_|L]) :- list(E,L).

inclus([],_).
inclus([E|L1],L2):-list(E,L2),inclus(L1,L2).

foodof(F,X):- food(F,Y),inclus(X,Y).

все работает отлично, извините, если я потратил время на ее решение!