Unification de faits

Bonjour,

je suis débutant en prolog, en fait j'ai quelque difficulté à résoudre un exercice qu'on m'a donné. Mon problème se situe au niveau de l'unification de plusieurs faits.

Par exemple j'ai des faits de ce genres :

Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 meme_fauteuil(anglais, _, rouge, _). meme_fauteuil(gallois, _, 'dragon de komodo', _). meme_fauteuil(francais, _, militaire, _). meme_fauteuil(italien, _, cafe, _). premier(ecossais, _). meme_fauteuil(blanc, _, cocktail, _). fauteuil_a_droite(blanc, _, vert, _). meme_fauteuil(diplomate, _, lion, _). meme_fauteuil(medecin, _, bleu, _). milieu(sherry, _). fauteuil_a_cote(ecossais, _, violet, _). meme_fauteuil(violoniste, _, the, _). fauteuil_a_cote(zebre, _, sculpteur, _). fauteuil_a_cote(aigle, _, medecin, _).

J'ai implémenté les prédicats ci-dessus et ils fonctionnent. (Apparemment)

La je ne vois pas trop comment faire la requête qui me permette de savoir entre autre qui boit du whisky, qui est sculpteur et qui élèves des carpes.
Apparemment il faut faire une requête du genre :

Code:

solution(5,C,N,B,A,P,QW,QS,QC).

et ça donnera cinq listes remplies des variables adéquates et ne restera plus qu'à faire une requête pour obtenir la solution...

Je ne sais pas trop comment faire, si vous avez une idée, je vous en serais très reconnaissant de m'aider. Merci.

Edit : on m'a donné la réponse, je faisais fausse route depuis le début...

Bonjour,

ton problème ressemble à un logigramme. Peux-tu nous donner toutes les contraintes exprimées en français afin de comprendre mieux le problème ?

Il y a le classique et célèbre problème d'Einstein .