Question basique sur fail. [Résolu]

[Trademark]

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.

[Trap D]

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.

[Trademark]

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.