% -----------------------------------------------
%                    Exercice 1
%           Florian Lepot & Maxime Fabre
% -----------------------------------------------

% Question 1
% -------------------------

Pas besoin d'explications, ce ne sont que des prédicats



% Question 2
% -------------------------

?- convient-physiquement(X, Y).
X = jack,
Y = julie ;
X = jean,
Y = audrey ;
X = marc,
Y = lola ;
X = david,
Y = natalie ;
X = ken,
Y = denise ;
X = julie,
Y = jack ;
X = lola,
Y = marc ;
X = audrey,
Y = jean ;
X = natalie,
Y = david ;
X = denise,
Y = ken ;
false.


Ces résultats ont l'air cohérent avec les prédicats que nous avons défini.



% Question 3
% -------------------------

?- meme-gout(X, Y).
X = Y, Y = jack ;
X = jack,
Y = julie ;
X = Y, Y = bobby ;
X = bobby,
Y = natalie ;
X = Y, Y = geoffrey ;
X = Y, Y = jean ;
X = Y, Y = david ;
X = david,
Y = marion ;
X = Y, Y = marc ;
X = marc,
Y = lola ;
X = Y, Y = marshall ;
X = Y, Y = magalie ;
X = Y, Y = phillipe ;
X = Y, Y = ken ;
X = julie,
Y = jack ;
X = Y, Y = julie ;
X = lola,
Y = marc ;
X = Y, Y = lola ;
X = Y, Y = robert ;
X = Y, Y = jeffry ;
X = Y, Y = audrey ;
X = audrey,
Y = denise ;
X = denise,
Y = audrey ;
X = Y, Y = denise ;
X = Y, Y = noemie ;
X = marion,
Y = david ;
X = Y, Y = marion ;
X = Y, Y = casimira ;
X = natalie,
Y = bobby ;
X = Y, Y = natalie.


On peut voir que pour chaque homme et chaque femme, on obtient le résultat X = Y. C'est logique car nous n'avons pas défini que les 2 personnes devaient être différentes.
On peut évidemment enlever ces résultats en ajoutant "X \== Y" dans la règle.



% Question 4
% -------------------------

?- assortis(X, Y).
X = jack,
Y = julie ;
X = marc,
Y = lola ;
X = julie,
Y = jack ;
X = lola,
Y = marc ;
false.

Les résultats sont cohérents avec les prédicats que nous avions définis !