problème avec les règles

Bonjour,

Je tiens à préciser que je suis un débutant en Prolog. J'ai cet exemple (trouvé sur le net) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

fun(X) :- red(X), car(X). fun(X) :- blue(X), bike(X). fun(X) :-magenta(X), track(X).   car(vw_beatle). car(ford_escort). bike(harley_davidson). bike(yamaha). track(volvo). track(hino). red(vw_beatle). red(ford_escort). blue(harley_davidson). blue(yamaha). magenta(volvo). magenta(hino).

---

Lorsque je pose la question : ?- fun(vw_beatle). Prolog répond par true (sans la point final) et attend que je tape sur le point-virgule et là il rajoute false. et s'arrête. Ma question est pourquoi il ne donne pas true. et s'arrête. Merci de m'expliquer ce cas là.

Parce qu'il donne la premiere solution trouvée, et que d'après le code, il "pense" qu'il peut y en avoir d'autre.
Si on tape sur ";" ou " ", il recherche la solution suivante, s'il n'en trouve pas, il affiche false.

Citation:

---

Envoyé par Trap D

Parce qu'il donne la premiere solution trouvée, et que d'après le code, il "pense" qu'il peut y en avoir d'autre.
Si on tape sur ";" ou " ", il recherche la solution suivante, s'il n'en trouve pas, il affiche false.

---

Bonsoir,

Merci Trap D pour votre réponse.