Discussion :

[dodidam]

Bonjour,

je travaille actuellement avec le livre Programmer en Prolog de N. Ford cependant je bloque sur une partie qui est la suivante :

Code :

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

1
2
3
4
5
6
7
8
9
 
trajet(Cette_gare, Destination, Total, Réponse) :-
 Cette_gate = Destination,
 Total = Réponse.
 
trajet(Cette_gare, Destination, Total, Réponse) :-
 parcours(Cette_gare, Gare_suivante),
 Nouveau_total is Total + 1,
 trajet(Gare_suivante, Destination, Nouveau_Total, Réponse).

Voici les prédicats parcours pour tester le code :

Code :

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

1
2
3
4
5
 
parcours(shoretown, wellington).
parcours(wellington, boreham).
parcours(boreham, chingley).
parcours(chingley, harborough).

Le problème est que je ne comprends pas comment est instanciée la variable Réponse ou comment elle prend sa valeur (quand et que se passe t-il ?).

Ainsi, si j'appelle le programme de cette manière :

Code :

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

1
2
 
?- trajet(shoretown, chingley, 0, Réponse).

La réponse sera : Réponse = 3.

Merci pour votre aide.

[Trap D]

Il y a deux fautes de frappe (elles devraient être signalées à la au moins à la compil du prog).

Code :

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

1
2
3
4
5
6
7
8
trajet(Cette_gare, Destination, Total, Réponse) :-
 Cette_gate = Destination,  <== Cette_gare, pas Cette_gate
 Total = Réponse.
 
trajet(Cette_gare, Destination, Total, Réponse) :-
 parcours(Cette_gare, Gare_suivante),
 Nouveau_total is Total + 1,
 trajet(Gare_suivante, Destination, Nouveau_Total, Réponse). <== Nouveau_total avec un t minuscule

Une fois corrigé tout semble correct.
La première règle peut s'écrire

Code :

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

trajet(Cette_gare, Cette_gare, Total, Total) :- !.

[dodidam]

Bonsoir,

merci de votre réponse et de votre correction. Cependant, l'utilisation de la variable Réponse est importante car elle est utilisée dans un ensemble de schémas qui sont expliqués dans la suite du livre. Ainsi, je ne comprends pas quand et comment est instanciée la variable Réponse.

[Trap D]

Reponse est unifiée uniquement lorssque la première règle réussit (c'est à dire lorsqu'on est arrivé à destination).

[dodidam]

Bonjour,

merci de votre réponse. Il doit y avoir quelque chose que je ne vois pas. Lors du dernier appel de trajet dans la règle 2 nous avons :

Code :

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

1
2
 
trajet(Chingley, Chingley, 3, Réponse).

Donc prolog va parcourir l'ensemble des prédicats à la recherche d'un prédicat satisfaisant, dès lors, il rencontre la première règle mais bloque sur la deuxième condition car Réponse ne possède pas de valeur ou alors elle est unifiée mais je ne vois pas comment.

Pour moi, le symbole = présent dans la première règle est une condition.

Cependant, en faisant quelques recherches sur internet, = correspond au symbole de l'unification. Je vais creuser un peu plus car je pense être sur la bonne voie.

[Trap D]

Pour moi, le symbole = présent dans la première règle est une condition.

Non ! Le signe = en Prolog signifie UNIFICATION, le terme de gauche est-il unifiable avec le terme de droite ? L'unification réussit ou échoue.
Par exemple
3 = 4 échoue (on obtient false)
3 = 2+1 échoue : le terme 3 n'est pas égal au "terme" 2 + 1
3 = X réussit, on parle alors d'unification X est unifié à 3
X = 2 +1 réussit, X est unifié à 2 + 1 (mais pas à 3).

[dodidam]

Merci beaucoup pour votre aide. J'ai compris.