Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 7 sur 7
  1. #1
    Membre à l'essai
    Homme Profil pro Ali
    Étudiant
    Inscrit en
    octobre 2012
    Messages
    49
    Détails du profil
    Informations personnelles :
    Nom : Homme Ali
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : octobre 2012
    Messages : 49
    Points : 22
    Points
    22

    Par défaut 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:

    ?- 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...

  2. #2
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 560
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 560
    Points : 5 488
    Points
    5 488

    Par défaut

    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 ?
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : Intérieur avec jeune femme de Vilhelm Hammershoi

  3. #3
    Membre à l'essai
    Homme Profil pro Ali
    Étudiant
    Inscrit en
    octobre 2012
    Messages
    49
    Détails du profil
    Informations personnelles :
    Nom : Homme Ali
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : octobre 2012
    Messages : 49
    Points : 22
    Points
    22

    Par défaut

    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?

  4. #4
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 560
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 560
    Points : 5 488
    Points
    5 488

    Par défaut

    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...
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : Intérieur avec jeune femme de Vilhelm Hammershoi

  5. #5
    Membre à l'essai
    Homme Profil pro Ali
    Étudiant
    Inscrit en
    octobre 2012
    Messages
    49
    Détails du profil
    Informations personnelles :
    Nom : Homme Ali
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : octobre 2012
    Messages : 49
    Points : 22
    Points
    22

    Par défaut

    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!

  6. #6
    Membre à l'essai
    Homme Profil pro Ali
    Étudiant
    Inscrit en
    octobre 2012
    Messages
    49
    Détails du profil
    Informations personnelles :
    Nom : Homme Ali
    Localisation : France

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : octobre 2012
    Messages : 49
    Points : 22
    Points
    22

    Par défaut

    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).

  7. #7
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 560
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 560
    Points : 5 488
    Points
    5 488

    Par défaut

    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).
    ?- paire([a],[b,c,d],L).
    L = [[a,b],[a,c],[a,d]].
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : Intérieur avec jeune femme de Vilhelm Hammershoi

+ Répondre à la discussion
Cette discussion est résolue.

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •