Liste en Prolog

Version imprimable

07/09/2007, 11h02
acacia

Liste en Prolog
Bonjour,

dans une question d'un exercice sur les listes en Prolog, on nous demande d'écrire les règles nécessaires pour définir le prédicat "member".
Voilà ce que j'ai répondu:
Code:

1 2 member(X,[X|_]). member(X,[_|Reste]) :- member(X,Reste).
La seconde question est de modifier le prédicat "member" en ajoutant une règle et un argument de façon à obtenir la réponse vrai si un élément donné X appartient à une liste donnée L, et faux sinon.

Pouvez-vous m'aider s'il vous plaît.

Merci.
08/09/2007, 08h24
Trap D

Réfléchis à l'utilisation du coupe-choix '!'.
Pose-toi la question, "quand le troisième argument doit-il prendre la valeur true ou false ?"
08/09/2007, 17h17
acacia

Citation:

Envoyé par Trap D

Réfléchis à l'utilisation du coupe-choix '!'.
Pose-toi la question, "quand le troisième argument doit-il prendre la valeur true ou false ?"

Merci Trad pour la réponse

j'utilise le "!" pour exprimer une conditionnelle?
08/09/2007, 21h45
Trap D

Non, le coupe-choix à une signification bien précise, je te renvoie à cet article: exécution d'un prédicat prolog
09/09/2007, 14h04
acacia

Bonjour Trad, et merci

j'ai lu quelque part que le "!" (cut) a pour but de rendre déterministes les recherches, et d'exprimer une conditionnelle aussi.

je ne vois toujours pas comment je pourrai le faire, je pensais que prolog retourne "yes" ou "no" pour chaque test avec member.
09/09/2007, 22h48
Trap D

Salut
Un prédicat Prolog réussit, Prolog affiche Yes ou échoue et alors Prolog affiche No.

Citation:

La seconde question est de modifier le prédicat "member" en ajoutant une règle et un argument de façon à obtenir la réponse vrai si un élément donné X appartient à une liste donnée L, et faux sinon.

Ici, si je comprends bien ce texte, c'est un peu différent, ton troisième argument doit prendre la valeur vrai si l'élément appartient à la liste et faux sinon, ce qui est différent de réussite/échec.
Donc ce que tu dois écrire par exemple, si l'élément est dans la liste c'est

Code:

member_3_arg(X, [X | _], vrai) :- !.

le ! est utilisé pour dire qu'il ne sert à rien de continuer maintenant qu'on a trouvé l'élément.
09/09/2007, 22h59
acacia

Citation:

Envoyé par Trap D

Salut
Un prédicat Prolog réussit, Prolog affiche Yes ou échoue et alors Prolog affiche No.

Ici, si je comprends bien ce texte, c'est un peu différent, ton troisième argument doit prendre la valeur vrai si l'élément appartient à la liste et faux sinon, ce qui est différent de réussite/échec.
Donc ce que tu dois écrire par exemple, si l'élément est dans la liste c'est

Code:

member_3_arg(X, [X | _], vrai) :- !.

le ! est utilisé pour dire qu'il ne sert à rien de continuer maintenant qu'on a trouvé l'élément.

Bonsoir Trad

merci beaucoup pour l'explication j'ai confondu entre réussite/échec de prolog et vrai/faux de l'exercice

je crois bien avoir compris maintenant comment utiliser le "!" pour modifier le prédicat "member"

merci encore :)
10/09/2007, 08h23
Trap D

Citation:

Envoyé par acacia

j'ai confondu entre réussite/échec de prolog et vrai/faux de l'exercice

A mon avis, cet exercice était destiné justement à ce que les étudiants prennent conscience de cette différence.