Discussion :

[jd.b]

Bonjour à tous,
débutant en Prolog je me trouve confronté à un problème qui va certainement vous sembler trivial.
Je charge les deux règles:

Code :

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

1
2
write_words([H|T]) :- write(H) , write(' ') , write_words(T).
write_words([]) :- nl.

Une fois dans l'interpréteur

Code :

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

1
2
3
4
5
6
7
8
9
10
 
| ?- write_words(['un','deux','trois']).
un deux trois
 
yes
| ?- X = ['un','deux','trois'].
 
X = [un,deux,trois]
 
yes

J'essaie

Code :

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

| ?- write_words(X).

et là

Code :

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

Fatal Error: local stack overflow

Je ne vois absolument pas l'erreur. Quelqu'un pourrait-il m'éclairer et me dire en quoi il y a erreur.

Merci d'avance.

JD.

[Trap D]

C'est normal, X n'étant pas unifié, il ne correspond à rien.
Au top_level (vocabulaire SWI-Prolog), tu peux rappeler une variable précédemment définie par $X.
Voilà un exemple qui fonctionne :

8 ?- Y = [1,2,3].

Y = [1, 2, 3] ;

No
9 ?- write_words($Y).
1 2 3

Yes
10 ?- write_words($Z).
ERROR: variable `Z' does not exist