Discussion :

[eNskiL]

Bonjour tout le monde.

J'ai un exercice de ce style.

Given the Prolog program below and the query value(W), trace the solution to the query. Show your work.

Code :

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

1
2
3
4
5
6
value(Y) :- quality(Y),rarity(Y). 
quality(Y) :- few(Y), age(Y).
rarity(Y).
few(5).
few(2).
age(Y).

Je sais que la réponse est 5, mais je ne vois pas du tout comment marche le trace pour cette Query.
Pouvez vous m'aider?

[Trap D]

En fait, il y a deux réponses 5 et 2 !
Lorsque vous déclarez la clause value(Y) :- quality(Y),rarity(Y). vous affirmez que le but value(Y) est vrai si les buts quality(Y) et rarity(Y) sont vrais.
La clause quality(Y) :- few(Y), age(Y). indique que quality est vrai lorsque few et age sont vrais.
Le but few est vrai uniquement lorsque l' argument est 5 ou 2. (attention à l'ordre d'écriture des clauses.
La clause rarity(Y). indique que rarity est vrai quelque soit l'argument Y. (d'ailleurs vous devriez écrire rarity(_).. pour éviter d'avoir un warning à la compilation).
La clause age(Y). indique que age est vrai quelque soit l'argument Y.

Maintenant lorsque vous posez la question value(Y) que fait Prolog ?
Il regarde la clause value(Y), il voit que le but quality doit être étudié, il regarde la clause quality voit que few doit être étudié, regarde la première clause few trouve 5 pour unifier Y, Prolog regarde ensuite si avec 5 age est satisfait, oui, donc le premier but de quality (few) réussit, on regarde pour age qui réusssit aussi donc une première demande réussit avec 5 et il répond 5.
Maintenant 2 possibilités
- Vous appuyez sur Entrée, Prolog s'arrête.
- Vous appuyez sur la base d'espace, Prolog (grâce à son backtrack inhérent) continue sa recherche dans la satisfaction de quality, rencontre la valeur 2, la teste et l'affiche. Si vous continuez avec la barre d'espacement, il n'y a plus de possibilités pour few et répond donc False (devrait répondre car le mode opératoire pour SWI-Prolog a changé récemment et il s'arrête de lui-même après 2).

[eNskiL]

Merci pour cette parfaite explication !