le_gusta(maria, X):- serpiente(X), !, fail.
le_gusta(maria, X):- animal(X).


ave(loro).
ave(buitre).


serpiente(boa).
serpiente(anaconda).


animal(X):- serpiente(X); ave(X).