+ Répondre à la discussion
Affichage des résultats 1 à 11 sur 11
  1. #1
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut Problème idiot de "redo" supplémentaire

    Bonjour,

    Je me remets à Prolog après une longue période d'abstinence. Je suis sur un petit exercice qui consiste à écrire un prédicat "greater_than" avec une notation d'entiers de type "successeur de" :
    Code :
    1
    2
    3
    4
    5
    6
    greater_than(0, 0).
    greater_than(succ(A), 0) :-
    	greater_than(A, 0).
    greater_than(succ(A), succ(B)) :-
    	greater_than(A, B).
    Ma question : pourquoi est-ce qu'en l'état, la requête
    Code :
    greater_than(succ(succ(succ(0))),succ(0))
    fait faire un "Redo" à SWI-prolog sur la deuxième entrée du prédicat ? Pour l'éviter je suis obligé de rajouter une coupure, que je souhaite éviter (parce que je suis convaincu qu'elle n'est pas nécessaire).

    Trace d'exécution :
    [trace] ?- greater_than(succ(succ(succ(0))),succ(0)).
    Call: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    Call: (8) greater_than(succ(succ(0)), 0) ? creep
    Call: (9) greater_than(succ(0), 0) ? creep
    Call: (10) greater_than(0, 0) ? creep
    Exit: (10) greater_than(0, 0) ? creep
    Exit: (9) greater_than(succ(0), 0) ? creep
    Exit: (8) greater_than(succ(succ(0)), 0) ? creep
    Exit: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    true ;
    Redo: (9) greater_than(succ(0), 0) ? creep
    Fail: (9) greater_than(succ(0), 0) ? creep
    Redo: (8) greater_than(succ(succ(0)), 0) ? creep
    Fail: (8) greater_than(succ(succ(0)), 0) ? creep
    Fail: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    false.
    Il y a sans doute quelque chose qui me crève les yeux... Merci de votre aide !

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

    Par défaut

    Il me semble que c'est
    Code :
    greater_than(succ(_), 0).
    non ?
    "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
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut

    Citation Envoyé par Trap D Voir le message
    Il me semble que c'est
    Code :
    greater_than(succ(_), 0).
    non ?
    Disons que j'ai choisi de faire un supérieur ou égal, parce que justement si je fais ça, je vais avoir des réponses multiples en cas de succès, et je cherche précisément à éviter ça.

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

    Par défaut

    Citation Envoyé par Eusebius Voir le message
    Disons que j'ai choisi de faire un supérieur ou égal, parce que justement si je fais ça, je vais avoir des réponses multiples en cas de succès, et je cherche précisément à éviter ça.
    Je ne comprends pas ce que tu veux dire
    "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
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut

    Citation Envoyé par Trap D Voir le message
    Je ne comprends pas ce que tu veux dire
    C'est normal, j'ai plus ou moins dit une bêtise : avec le code que j'avais en tête, faire une terminaison comme tu le propose donnait plusieurs solutions "true". Mais ce n'est pas obligé, donc oublie ma remarque.

    Si je fais ce que tu suggères (pour coder un supérieur strict, donc) :
    Code :
    1
    2
    3
    greater_than(succ(_), 0).
    greater_than(succ(A), succ(B)) :-
    	greater_than(A, B).
    J'ai toujours un "redo" que je ne comprends pas :
    [trace] ?- greater_than(succ(succ(succ(0))),succ(0)).
    Call: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    Call: (7) greater_than(succ(succ(0)), 0) ? creep
    Exit: (7) greater_than(succ(succ(0)), 0) ? creep
    Exit: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    true ;
    Redo: (7) greater_than(succ(succ(0)), 0) ? creep
    Fail: (7) greater_than(succ(succ(0)), 0) ? creep
    Fail: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
    false.

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

    Par défaut

    Oui, en fait ce que je proposais était :
    Code :
    1
    2
    3
    4
    5
    greater_than(0, 0).
    greater_than(succ(_A), 0).
    
    greater_than(succ(A), succ(B)) :-
    	greater_than(A, B).
    qui est un greater_than. Mais ça ne change rien au redo
    "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

  7. #7
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut

    Je n'observe plus ce comportement dans ma version actuelle de SWI. Ça devait être un souci interne à SWI-prolog...

  8. #8
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 581
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 581
    Points : 6 016
    Points
    6 016

    Par défaut

    C'est laquelle, la dernière version stable ou une de développement (6.1.13 pour moi) ?
    "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

  9. #9
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut

    Citation Envoyé par Trap D Voir le message
    C'est laquelle, la dernière version stable ou une de développement (6.1.13 pour moi) ?
    Je suis sur la dernière stable (5.10 et des brouettes), mais apparemment ce "problème" (en fait un choix d'optimisation dans l'indexation des clauses) est "résolu" depuis au moins 5.4.4.

  10. #10
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 581
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 581
    Points : 6 016
    Points
    6 016

    Par défaut

    La dernière version stable est la 6.2.0 (depuis quelques jours je crois )
    "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

  11. #11
    Expert Confirmé
    Avatar de Eusebius
    Inscrit en
    avril 2003
    Messages
    3 303
    Détails du profil
    Informations forums :
    Inscription : avril 2003
    Messages : 3 303
    Points : 3 886
    Points
    3 886

    Par défaut

    Citation Envoyé par Trap D Voir le message
    La dernière version stable est la 6.2.0 (depuis quelques jours je crois )
    True. 5.10.4 est celle qui est dans mon repository Ubuntu.

+ 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
  •