Discussion :

[ancrou]

Bonjour,

Je voudrais définir une liste de 3 éléments variables.
Liste=[Var1, Var2,Var3];
Comment le définir sous Prolog.
Dans les exemple que je vois c'est soit:
une liste vide []
une liste non variable: [1,2,3]

En espérant être claire :-/

[Trap D]

Je voudrais définir une liste de 3 éléments variables.
Liste=[Var1, Var2,Var3],

La réponse est dans la question !
Sinon tu peux aussi faire length(L, 3).

[ancrou]

Voici mon crash log de la console:

?- constrir(z).
ERROR: toplevel: Undefined procedure: constrir/1 (DWIM could not correct goal)
?- consult(z).
Warning: /Users/ancrou/z.pl:1:
Singleton variables: [Liste, Var1, Var2, Var3]
ERROR: /Users/ancrou/z.pl:1:
No permission to modify static_procedure `(=)/2'
% z compiled 0.00 sec, 400 bytes
true.

Et mon fichier z.pl

Liste=[Var1, Var2,Var3].

[Trap D]

Ah ben oui, il faut écrire des prédicats, il n'y a qu'en ligne de commande que tu peux écrire L = [Var1, Var2, Var3].

1 ?- L = [Var1, Var2, Var3].
L = [Var1, Var2, Var3].

Si tu écris un fichier z.pl il faut donner une règle :

Code :

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

1
2
3
test :-
	L = [Var1, Var2, Var3],
	writeln(L).

A la compile il te signalera qu'il y 3 variables "singleton", et ensuite tu peux exécuter ton fichier :

2 ?- test.
[_G950, _G953, _G956]
true.

Tu vois d'ailleurs qu'il y a une différence entre l'affichage top-level et l'affichage avec write.

[ancrou]

Je viens de créer une règle par listes.
ça compile bien.

Je vais faire la suite, c'est-à-dire les utiliser

Merci de votre aide.