Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 3 sur 3
  1. #1
    Membre Expert Avatar de Trademark
    Inscrit en
    février 2009
    Messages
    696
    Détails du profil
    Informations forums :
    Inscription : février 2009
    Messages : 696
    Points : 1 049
    Points
    1 049

    Par défaut Question basique sur fail.

    Bonjour à tous,

    En suivant le tutoriel de M. Caboche, je me pose la question suivante :

    Il nous montre le pattern "Elimination des cas d'erreur" où on a le prédicat générique suivant :

    Code :
    1
    2
    3
    predicat(parametres) :-
      conditon_echec,
      !, fail.
    Je me demandais à quoi servait le 'fail' car dans mon programme, avec ou sans, ça ne change rien.

    Merci de votre réponse,

    Cordialement.

    PS : j'ai également une autre question. Est-t'il possible de passer des arguments à un programme en prolog ? A la manière du C avec argv. J'utilise swi-prolog.

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

    Par défaut

    Il faudrait voir le code pour comprendre pourquoi c'est inutile dans votre cas.
    Le fail indique dans ce cas que le prédicat échoue : le raisonnement est "un peu tordu", la règle condition_echec ayant réussi, on est dans un cas d'échec et donc on le signale avec un fail car sinon à l'exécution on aurait true ! Le cut est nécessaire car il permet d'enlever les choix possibles et donc les appels suivants à "predicat" qui auraient eu lieu puisque la première règle échouait.

    pour la seconde question, il n'y a pas véritablement de notion de programme en Prolog : on lance une requête à Prolog, cette requête réussi (==> true) ou échoue (==> false). Maintenant, cette requete peut avoir autant d'arguments que l'on veut.
    "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 Expert Avatar de Trademark
    Inscrit en
    février 2009
    Messages
    696
    Détails du profil
    Informations forums :
    Inscription : février 2009
    Messages : 696
    Points : 1 049
    Points
    1 049

    Par défaut

    Merci pour votre réponse, en vous lisant j'ai compris pourquoi ça "marchait" dans mon cas, mais ça serait tout de même inexacte de l'enlever.

    Cordialement.

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