% -----------------------------------------
% Exercice 1
% @author "Alexis Fouché" <contact@alexisfouche.net>
% -----------------------------------------

% == Question 1

Pas besoin d'explications. La liste des noms a été générée automatiquement en utilisant un générateur de noms.

% == Question 2

?- convient-physiquement(X,Y).
X = jon,
Y = lavera ;
X = tobias,
Y = dwana ;
X = denis,
Y = alishia ;
X = josiah,
Y = cornelia ;
X = ken,
Y = delilah ;
X = lavera,
Y = jon ;
X = alishia,
Y = denis ;
X = dwana,
Y = tobias ;
X = cornelia,
Y = josiah ;
X = delilah,
Y = ken ;
false.

Si l'on vérifie dans la définition des faits, on a bien ces personnes qui conviennent physiquement.

% == Question 3

?- meme-gout(X,Y).
X = Y, Y = jon ;
X = jon,
Y = lavera ;
X = Y, Y = jonathan ;
X = jonathan,
Y = cornelia ;
X = Y, Y = geoffrey ;
X = Y, Y = tobias ;
X = Y, Y = josiah ;
X = josiah,
Y = marcelle ;
X = Y, Y = denis ;
X = denis,
Y = alishia ;
X = Y, Y = rob ;
X = Y, Y = ardell ;
X = Y, Y = francesco ;
X = Y, Y = ken ;
X = lavera,
Y = jon ;
X = Y, Y = lavera ;
X = alishia,
Y = denis ;
X = Y, Y = alishia ;
X = Y, Y = jewel ;
X = Y, Y = jeffry ;
X = Y, Y = dwana ;
X = dwana,
Y = delilah ;
X = delilah,
Y = dwana ;
X = Y, Y = delilah ;
X = Y, Y = trudie ;
X = marcelle,
Y = josiah ;
X = Y, Y = marcelle ;
X = Y, Y = casimira ;
X = cornelia,
Y = jonathan ;
X = Y, Y = cornelia.

On voit ici que nous obtenons 20 résultats pour X = Y, c'est normal car une personne a forcément les mêmes goûts que soi-même.
Il n'était pas demandé d'exclure ces résultats, mais cela est possible en ajoute une clause "X\==Y".

% == Question 4

?- assortis(X,Y).
X = jon,
Y = lavera ;
X = denis,
Y = alishia ;
X = lavera,
Y = jon ;
X = alishia,
Y = denis ;
false.

Ces couples ont été conçus dans les faits pour être assortis, et ils sont bien retournés.