mainDish(X) :- meal (X,Y). drink(Y) :- meal (X,Y). 1{vegetarian(X),nonvegetarian(X)}1 :- meal(X,Y). 1{porc(X), beef(X), fish(X)}1 :- mainDish(X), nonvegetarian(X). whitewine(Y) :- meal(X,Y), fish(X). whitewine(Y) :- meal(X,Y), porc(X). redwine(Y) :- meal(X,Y), beef(X). wine(Y) :- drink(Y), redwine(Y). wine(Y) :- drink(Y), whitewine(Y). alcoholic(Y) :- drink(Y), wine(Y). tomatojuice(Y) :- meal(X,Y), vegetarian(X). meal(a,b). nonvegetarian(a).