% ILP-503 (Prof. Dr. Silvio do Lago Pereira)

% ---------------------------------------------------------------------
% EXEMPLO 1
% ---------------------------------------------------------------------

homem(ivo).
homem(ary).

mulher(eva).
mulher(ana).

gerou(ivo, ary).
gerou(eva, ary).
gerou(ary, ana).

pai(X, Y) :- homem(X), gerou(X, Y).
mãe(X, Y) :- mulher(X), gerou(X, Y).
avô(X, Z) :- pai(X,Y), gerou(Y, Z).
avó(X, Z) :- mãe(X,Y), gerou(Y, Z).

% ---------------------------------------------------------------------
% EXERCICIO 1
% ---------------------------------------------------------------------

/*
homem(ivo).
homem(ary).
homem(ruy).

mulher(eva).
mulher(ema).
mulher(ana).

gerou(eva, ary).
gerou(eva, ema).
gerou(ivo, ary).
gerou(ivo, ema).
gerou(ary, ana).
gerou(ema, ruy).
*/

% ---------------------------------------------------------------------
% EXERCICIO 2
% ---------------------------------------------------------------------

tem_carro(ada).
tem_carro(gil).

mora(ada, penha).
mora(isa, belém).
mora(gil, santana).
mora(zoe, santana).

zona(penha, leste).
zona(belém, leste).
zona(santana, norte).

% ---------------------------------------------------------------------
% EXERCICIO 3
% ---------------------------------------------------------------------

tem(ney, tablet).
tem(isa, celular).
tem(mel, notebook).

precisa(ney, notebook).
precisa(mel, celular).
precisa(ema, tablet).

% ---------------------------------------------------------------------
% EXERCICIO 4
% ---------------------------------------------------------------------

pessoa(ana).
pessoa(bia).
casada(ana).

solteira(X) :- not(casada(X)), pessoa(X).

% ---------------------------------------------------------------------
% EXERCICIO 5
% ---------------------------------------------------------------------

país(brasil,  8.5,  212.6).
país(canadá, 10.0,   39.6).
país(china,   9.6, 1439.3).
país(eua,     9.4,  331.0).
país(rússia, 17.1,  145.9).

% ---------------------------------------------------------------------
% EXERCICIO 6
% ---------------------------------------------------------------------

hospital(a, 2, 6).
hospital(b, 7, 1).
hospital(c, 8, 8).

% ---------------------------------------------------------------------
% EXEMPLO 9
% ---------------------------------------------------------------------

func(107, ana, 5500).
func(290, ruy, 7850).
func(368, eva, 2390).
func(405, ivo, 4700).

dep(107, bia).
dep(107, lia).
dep(290, yan).
dep(405, cid).
dep(405, ary).
dep(405, ney).