come(Persona,X):- 
    vegetariano(Persona),
	not(verdura(X)),
	!,
	fail.

come(_,X):- comida(X).

comida(X):- carne(X); verdura(X); pescado(X).


carne(cerdo).
carne(ternera).

verdura(espinacas).
verdura(acelgas).

pescado(bacalao).
pescado(merluza).

vegetariano(anselmo).
vegetariano(alicia).