Discussion :

[C_C]

Salut,

Est-ce que vous connaissez une façon de faire terminer un programme en Prolog si un prédicat échoue?
En utilisant 'fail', je peux faire échouer un prédicat mais le programme retourne au prédicat antérieur, donc ne termine pas.
C'est un peu comme le 'exit()' en C ce que je veux.

Merci.

[pcaboche]

Dans la doc swi-prolog, je trouve les prédicats halt/0 et halt/1.

Par contre, on s'éloigne de l'esprit de Prolog en essayant de coder à la manière du C (même en C, mettre un exit() en plein millieu d'un programme n'est d'ailleurs pas très élégant, d'autant qu'il faut s'assurer de la libération des ressources).

[C_C]

C'est vrai que c'est pas très élégant mais, dans ce cas-là, ça me facilite un peu les choses.
Je suis en train de faire un analyseur de language naturel et je veux pas que le programme continue après avoir trouvé une erreur dans la frase.
Il peut arriver qu'il y ait deux erreus de types différents dans la même frase (érreur sintactique ou érreur sémantique) et je veux qu'il s'arrête dès la première erreur, sinon après il va en chercher d'autres.

Merci pour le 'halt'.

[pcaboche]

Et un:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

  !, fail.

ça ne conviendrait pas?

[C_C]

Je vais essayer le

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

!,fail

même si ça me donne un peu plus de boulot, le code restera plus dans l'esprit Prolog.

[pcaboche]

Lis (ou relis) mon article sur la programmation en Prolog, cela pourrait t'aider (ici, c'est le pattern 1 dont il est question) :
http://pcaboche.developpez.com/artic...mation-prolog/

[C_C]

J'ai encore une petite question.
Si j'ai plusieurs prédicats avec le même nom, comment je peut faira pour que si un échoue tous les autres avec le même nom ne soient pas executés.

Par exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
prédicatX(param1,param2):-
pred1,
pred2,
pred3.
 
prédicatX(param1,param2):-
pred4,
pred5,
pred6

Dans ce cas-lá si pred1,pred2 ou pred3 échouent je ne veux pas que le deuxième prédicatX soit executé.

Où est-ce que je doit mettre le '!,fail' dans ce cas-là (si le '!,fail' résout mon problème)

Merci d'avance.

[pcaboche]

Petite leçon de vocabulaire: un prédicat Prolog est composé de clauses, le corps d'une clause est composé de buts.

Tout cela est expliqué dans mon article de présentation du langage.

Maintenant, pour le '!,fail', c'est bien cela qu'il faut et c'est expliqué dans mon article sur la programmation Prolog (pattern 1).

En résumé:

A titre d'exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
predicatX(Param1, Param2):- % une clause du prédicat predicatX/2
  but1,
  but2,
  but3,
  !, fail.

[C_C]

Dans ce cas-lá si pred1,pred2 ou pred3 échouent je ne veux pas que le deuxième prédicatX soit executé.

Ce que je veux c'est que si l'un des buts échoue, le prédicat ne soit plus executé.

Dans l'exemple suivant cela n'arrive pas.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
essai:- write(salut),nl,
       1<2,
       3<2,
       4<5,
       !,fail.
 
 
essai:-
       write('je suis la').

Et la réponse:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
146 ?- essai.
 salut
je suis la
 
Yes

[pcaboche]

Ok, je n'avais pas très bien compris.

Dans ce cas, tu peux faire:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
essai:- 
  write(salut),nl,
 
  (     
    1<2,
    3<2,
    4<5
  ) 
 
  ;
 
  (!, fail).
 
 
essai:-
  write('je suis la').

Mais ce n'est pas ce qu'il y a de plus propre.

En Prolog, on s'attache plus à définir ce qu'est une solution plutôt qu'à décrire les étapes de résolution (comme dans la plupart des langage). Là, on est plus dans la 2ème logique, ce qui n'est pas très beau.