Discussion :

[geeka]

bonsoir,
L'exercice demande d'écrire un prédicat différent/1 qui est vrai si tous les éléments d'une liste sont (deux à deux) différents.
La solution:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
different([ ]).
different ([X |L]) :‐ non_membre(X,L), different (L).

non-membre a déjà été défini, c'est un prédicat qui est vrai si un élément appartient à une liste:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
membre(H,[H|_]).
membre(H,[_|T]):- membre(H,T).

Je n'ai pas compris l'énoncé de l'exercice, que signifie 2 à 2 différents ?
pourquoi ne suffit-il pas de mettre non_membre(X,L) seulement ou different (L) seulement ??
merci

[Trap D]

différent/1 qui est vrai si tous les éléments d'une liste sont (deux à deux) différents.

Eh bien, d'après vous, quelle est la différence entre ces deux listes [1,2,3,4] et [1,2,2,3,4] ?
Avec quelle liste le prédicat différent/1 réussit-il ou échoue-t-il ?

[geeka]

bonsoir,
la différence c'est que la 2ème liste contient un "2" en plus.
le prédicat different/1 réussit avec [1,2,3,4] et échoue avec [1,2,2,3,4]. ça veut dire que les 2 conditions sont nécessaires, il faut que la tête soit différente de la queue et que tous les éléments de la queue soient différents c'est ça ?

[Trap D]

Non il ne faut pas deux nombres identiques dans la liste c'est tout.

[geeka]

Ah d'accord, c'est plus clair merci bcp

[Trap D]

alors ?