%%  CHAPITRE 5

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%
%%      Prédicats ensemblistes

boisson(toto, the).
boisson(toto, lait).
boisson(toto, biere).
boisson(koko, lait).
boisson(koko, the).
boisson(koko, vin).
boisson(jojo, the).
boisson(jojo, vin).
boisson(pierre, lait).

boisson(toto, the, chaud).
boisson(toto, lait, chaud).
boisson(toto, biere, fraiche).
boisson(toto, vin, froid).
boisson(koko, lait, froid).
boisson(koko, lait, froid).
boisson(koko, the, chaud).
boisson(koko, vin, chaud).
boisson(jojo, the, chaud).
boisson(jojo, vin, chambre).
boisson(pierre, lait, froid).

nom(toto).
nom(koko).
nom(jojo).
nom(toto).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  Graphe - successeur (suc), meme niveau (mNiv),
%  descendants des sommets du même niveau (col)
%  descendants des descendants des sommets du même niveau (cocol)
%  predecesseur Immédiat (predI), predecesseur (pred)
%  predecesseur immédiat de predI (predi2)


gr(a,b).
gr(a,g).
gr(b,e).
gr(b,c).
gr(g,e).
gr(g,h).
gr(e,f).
gr(f,c).
gr(f,h).
gr(c,d).
gr(h,d).

%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%

%%  CHAPITRE 6   Bases de Données


/*  BdD enseignant   */

enseignantPere(titi,toto,lola).
enseignantPere(koko,lolo,lina).
enseignantMere(titi,toto,lola).
enseignantMere(tintin,tino,lory).

/*  BdD  Pere-Mere   */

pere(toto,titi).
pere(toto,koko).
pere(koko,tintin).
pere(tintin,tino).
pere(tino,tony).
mere(lola,titi).
mere(lola, koko).
mere(alma, tintin).

/*  BdD parent, fille, garçon  */

parent(X) :- pere(X,_);mere(X,_).

fille(titi).
garcon(toto).
garcon(koko).
garcon(tino).
garcon(tino).



/*  Base de données voitures  */

voiture(123, fiat, toto, marron).
voiture(321, volvo, tata, rouge).
voiture(111, mazerati, cathy, blanche).
voiture(222, renault, loulou, rouge).
voiture(314, citroen, alma, verte).


/*  Base de données identité des personnes  */

personne(jojo, m, 16, toto, cathy).
personne(toto, m, 45, loulou, louloute).
personne(cathy, f, 40, koko, tata).
personne(anne, f, 14, toto, cathy).
personne(lolo, m, 30, koko,tata).
personne(louloute, f, 38, olive, alma).
personne(alma, f, 65, momo, mimi).


/*  Base de données virtuelle  */

bddVirt(voiture,Nu,numero,Nu) :- voiture(Nu,_,_,_).
bddVirt(voiture,Nu,marque,Ma) :- voiture(Nu,Ma,_,_).
bddVirt(voiture,Nu,proprietaire,Pr) :- voiture(Nu,_,Pr,_).
bddVirt(voiture,Nu,couleur,Co) :- voiture(Nu,_,_,Co).

bddVirt(personne,Nom,nom,Nom) :- personne(Nom,_,_,_,_).
bddVirt(personne,Nom,sexe,Se) :- personne(Nom,Se,_,_,_).
bddVirt(personne,Nom,age,Ag) :- personne(Nom,_,Ag,_,_).
bddVirt(personne,Nom,pere,Pe) :- personne(Nom,_,_,Pe,_).
bddVirt(personne,Nom,mere,Me) :- personne(Nom,_,_,_,Me).

/*  BdD relationnelles   */

produit(100, bille,  100, verte).
produit(200, poupee,  50, rouge).
produit(300, voiture, 70, jaune).
produit(400, carte,  350, bleue).

vente(1, dupont,  100, 30, 080399).
vente(2, martin,  200, 10, 070199).
vente(3, charles, 100, 50, 010100).
vente(4, charles, 300, 50, 010100).
vente(5, jojo,    500, 20, 060207).

achat(1, fournier, 100, 70, 010399).
achat(2, fournier, 200,100, 010399).
achat(3, dubois,   100, 50, 010999).
achat(4, dubois,   300, 50, 010999).
achat(5, toto,     500, 10, 060207).