Bonsoir voila j'ai un problème j'ai un tp de prolog sur l'épreuve d'einstein dont voici l'énoncé:
http://www.noelshack.com/m/2012-47-135...4-imag0070.jpg
Et voici mon programme:
% m(couleur, nationalite, animal, boisson, profession)
appartient_a(X,[X|_]).
appartient_a(X,[_|Ys]) :- appartient_a(X, Ys).
premiere(X, [X|_]).
est_a_droite_de(X,Y,[X,Y|_]).
est_a_droite_de(X,Y,[_|Zs]) :- est_a_droite_de(X, Y, Zs).
est_voisin_de(X,Y,Zs) :- est_a_droite_de(X, Y, Zs).
est_voisin_de(X,Y,Zs) :- est_a_droite_de(Y, X, Zs).
milieu(X,[_,_,X,_,_]).
resoudre(MAISONS) :- MAISONS = [_,_,_,_,_],
appartient_a(m(_, _, zebre, eau, _), MAISONS),
appartient_a(m(rouge, anglais, _, _, _), MAISONS),
appartient_a(m(_, espagnol, chien, _, _), MAISONS),
appartient_a(m(_, ukrainien, _, the, _), MAISONS),
appartient_a(m(verte, _, _, cafe, _), MAISONS),
appartient_a(m(_, _, escargot, _, sculpteur), MAISONS),
appartient_a(m(jaune, _, _, _, diplomate), MAISONS),
appartient_a(m(_, _, _, jusdorange, violoniste), MAISONS),
appartient_a(m(_, japonais, _, _, acrobate), MAISONS),
premiere(m(_, norvegien, _, _, _), MAISONS),
est_voisin_de(m(bleu, _, _, _, _), m(_, norvegien, _, _, _), MAISONS),
est_voisin_de(m(_, _, _, _, medecin), m(_, _, renard, _, _), MAISONS),
est_voisin_de(m(_, _, _, _, diplomate), m(_, _, cheval, _, _), MAISONS),
milieu(m(_, _, _, lait, _), MAISONS),
est_a_droite_de(m(verte, _, _, _, _), m(blanche, _, _, _, _), MAISONS).
Et je ne vois pas l'erreur j'essaye de faire resoudre(MAISONS). il me repond non. alors qu'il devrait me renvoyer les réponses ... En tout cas merci de bien voulloir m'éclairer
