% ILP-503 (Prof. Dr. Silvio do Lago Pereira)

% ---------------------------------------------------------------------
% EXEMPLO 3
% ---------------------------------------------------------------------

filósofo(kant).
filósofo(platão).

nasceu(kant, alemanha).
nasceu(platão, grécia).

grego(X) :- nasceu(X, grécia).

% ---------------------------------------------------------------------
% EXEMPLO 4
% ---------------------------------------------------------------------

metal(bronze).
metal(ouro).
metal(prata).

precioso(ouro).
precioso(prata).

caro(X) :- metal(X), precioso(X).

% ---------------------------------------------------------------------
% EXEMPLO 5
% ---------------------------------------------------------------------

%nasceu(ana, brasil).
%nasceu(ivo, frança).

idioma(brasil, português).
idioma(frança, francês).

estudou(ana, francês).

fala(A, C) :- nasceu(A, B), idioma(B, C).
fala(D, E) :- estudou(D, E).

% ---------------------------------------------------------------------
% EXEMPLO 7
% ---------------------------------------------------------------------

pai(ivo, gil).
pai(ivo, léo).
pai(ivo, ruy).

irmão(X, Y) :- pai(Z, X), pai(Z, Y), X \= Y.

% ---------------------------------------------------------------------
% EXEMPLO 8
% ---------------------------------------------------------------------

tem(ana, tv).
tem(ivo, pc).
usa(ana, tv).

doa(X,Y) :-
   tem(X, Y),
   usa(X, Y).
