Éléments uniques dans la liste (Prolog)

Question

J'applique une variante à l'énigme d'Einstein et j'ai des problèmes.

Lorsque vous essayez de calculer la solution i essayer ceci:

solve(Street) :- Street = [_House1,_House2,_House3,_House4,_House5], 
%hint one goes here 
%hint two goes here 
%etc. 

Je peux alors demander à la solution en tapant: résoudre (Street)

Cependant cela vient comme solution:

1. maison (fleur, nourriture, animal de compagnie, sport)
2. maison (fleur, nourriture, animal de compagnie, sport)
3. maison (x, nourriture, animaux, sport)
4. maison (fleur, nourriture, animaux, sport)
5. maison (x, fleur, animal, sport)

Comme vous pouvez voir il y a 2 fois x, le reste sont tous les types d'aliments, fleurs, animaux domestiques et sportifs. Mais chaque type est unique: si une personne aime fleur X, personne d'autre ne peut que X.

Maintenant, la raison pour laquelle ma solution donne 2 x de est facile à voir: on nous donne une quantité de notes, mais dans tous les conseils il n'y a que 4 fleurs mentionnées. Alors Prolog ne sait pas qu'il y a une autre fleur, et utilise x seulement deux fois, juste parce que c'est possible et remplit tous les autres indices. Ce que je veux dire, c'est que tous les types d'aliments et de fleurs, etc. dans Street sont uniques, donc il devrait laisser un peu vide quand il utilise déjà tous les types. 3 ressemblerait à: house(x , food, pet ,sport) et 5 ressemblerait à: house(_, flower, pet, sport).

J'ai aussi essayé d'ajouter ceci aux conseils: (disons « cactus » est l'une des fleurs ne sont pas mentionnées dans les notes) member(house(cactus,_,_,_), Street)

Cependant alors mon programme ne se termine pas ...

Un indice peut ressembler à ceci: is_neighbour(house(_,_,_,football),house(_,_,fish,_), Street), avec: is_neighbour(A,B,List) donnant true lorsque A et B sont l'un à côté de l'autre dans List. L'indice peut être traduit en: la personne qui aime le football vit à côté de la personne qui a du poisson.

Si plus d'informations doivent être fournies je suis prêt à élaborer. :)

Answer 1

Pour exprimer qu'aucune fleur n'est signalée deux fois, et aussi pour s'assurer que toutes les fleurs sont liées, vous pouvez utiliser le prédicat permutation/2: la liste de toutes les fleurs doit être une permutation de la liste des fleurs spécifiées . Cela se lirait comme suit [non testé]

flowers([], []). 
flowers([house(Flower,_,_,_)|Street], [Flower|Rest]) :- flowers(Street, Rest). 

-- ... 
    flowers(Street, Flowers), 
    permutation(Flowers, [kaktus, tulpe, nelke, rose, fingerhut]), 

Modifier: pour 10 fleurs, en utilisant des permutations est probablement trop lent.Une approche alternative est

flower(kaktus). 
flower(tulpe). 
flower(nelke). 
--... 

     flowers(Street,[F1,F2,F3,F4,F5,F6,F7,F8,F9,F10]), 
     flower(F1), flower(F2), F1\=F2, 
     flower(F3), F3\=F1, F3\=F2, 
     flower(F4), F4\=F1, F4\=F2, F4\=F3, 
     --...