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 :
J'ai implémenté les prédicats ci-dessus et ils fonctionnent. (Apparemment)
Code : Sélectionner tout - Visualiser dans une fenêtre à part
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, _).
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 :
et ça donnera cinq listes remplies des variables adéquates et ne restera plus qu'à faire une requête pour obtenir la solution...
Code : Sélectionner tout - Visualiser dans une fenêtre à part solution(5,C,N,B,A,P,QW,QS,QC).
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...
Partager