problème avec les règles

[midi.3m]

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à.

[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.

[midi.3m]

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.