précision prédicat prolog

Bonsoir à tous.

Je suis plus ou moins débutant en prolog, et je rencontre des problème dans l'écriture de deux prédicats.

Le premier, paire(L,L1,L2) tel que L2 soit la liste de toutes les paires possibles du premier élément de L et des éléments de L1.

Voici mon code:

Code:

---

1 2	paire([X],[Y],[X,Y]):-!. paire([X|L],[Y|L2],[Z|Z2]):- Z = [X,Y], paire([X],L2,Z2).

---

Voici un exemple de test:

Citation:

---

?- couple([a],[b,c,d],L).
L = [[a, b], [a, c], a, d].

---

Ce qui correspond presque au résultat, mais je voudrais avoir L= [[a, b], [a, c], [a, d]].

Voila, si quelqu'un peut m'aider ou me donner un indice...

L'erreur est dans la première règle, lorsque tu n'as plus qu'un seul élément dans la deuxième liste, es-tu sur que tu as écrit le bon resultat ?

Je ne vois vraiment pas...

Lorsqu'il y a un seul élément dans la deuxième liste, les solutions se limite au couple du premier élément de la premiere liste et de l'unique élément de la deuxieme, non?

Tout à fait, mais tu veux que le résultat soit une liste, non ? Donc dans ce cas, le résultat sera une liste dont le seul élément sera le couple...

Tu veux dire que je devrais écrire ça?
couple([X|L],[Y],[[X,Y]]):-!.

Parceque j'ai essayé, et le résultat est alors:

L = [[[a, a]], [[a, b]], [[a, c]], [a, d]].

Ce qui est bon pour le dernier éléement mais pas pour les autres!

Ah, c'est bon, mais j'ai du modifier aussi la deuxième ligne en considérant une autre approche.

Merci beaucoup pour ton aide, voici ce que j'ai fait:

Code:

---

1 2 3 4 5

couple([X],[Y],[[X,Y]]):-!. couple([X|L],[Y|L2],Z3):- couple([X],[Y],Z), couple([X],L2,Z2), append(Z,Z2,Z3).

---

non non, ce code-ci fonctionne très bien :

Code:

---

1 2	paire([X],[Y],[[X,Y]]):-!. paire([X|_L],[Y|L2],[Z|Z2]):- Z = [X,Y], paire([X],L2,Z2).

---

Citation:

---

?- paire([a],[b,c,d],L).
L = [[a,b],[a,c],[a,d]].

---