Ex2

bonito('Maria').
bonito('Marcos').
bonito('Fabiano').

rico('Marcos').
rico('Ana').

forte('Ana').
forte('Fabiano').
forte('Silvio').


amavel('Silvio').

homem('Marcos').
homem('Fabiano').
homem('Silvio').

mulher('Maria').
mulher('Ana').

feliz(X) :- homem(X),rico(X).
feliz(X) :- homem(X), mulher(Y), gosta(X,Y), gosta(Y,X).
feliz(Y) :- homem(X), mulher(Y), gosta(X,Y), gosta(Y,X).

gosta(X,Y) :- homem(X),mulher(Y),bonito(Y).
gosta('Ana',X) :- homem(X),gosta(X,'Ana').
gosta('Maria',X) :- homem(X),rico(X),(amavel(X);bonito(X)),forte(X),gosta(X,'Maria').

%gosta(X,Y)
%feliz(X)