Discussion :

[nahlette]

bonjour tout le monde,
je débute en prolog excusez moi...
j'utilise eclipse pour la programmation logique avec contraintes.
j'ai une boucle qui teste si la condition sur la variable est bonne, on insére la variable dans une liste :

Code :

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

(for(X,1,6) do (condition(X)-> ajouter(X,L))

Le problème : je ne sais pas comment ajouter d'une manière itérative cette variable X dans la même liste L .



Merci d'avance.

[Nono2004]

Bonsoir Nahlette,

voila la solution que je te propose :

Code :

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

1
2
3
4
5
6
 
essai(Y,Y,[]).
essai(X,Y,[T|Q]) :- X<Y, condition(X), T is X, X2 is X+1, essai(X2,Y,Q).
essai(X,Y,L) :- X<Y, not(condition(X)), X2 is X+1, essai(X2,Y,L).
 
condition(_).

donne par exemple :

?- essai(1,10,L).

L = [1, 2, 3, 4, 5, 6, 7, 8, 9]

j'ai testé avec une condition, ca fonctionne aussi.

condition(X) :- X<3 ; X > 5.

?- essai(1,10,L).

L = [1, 2, 6, 7, 8, 9]

le seul inconvénient, tu dois prévoir un Y qui vaut 1 de plus mais la tu n'as pas besoin d'aide je pense.

[Djakisback]

Salut,
personnellement j'ajouterais des cut pour supprimer les points de choix, les tests d'infériorité et le 2e test de condition :

Code :

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

1
2
3
4
5
6
7
8
9
essai(Y,Y,[]):-!.
essai(X,Y,[X|Q]) :-
	condition(X), 
	X2 is X+1,
	essai(X2,Y,Q),
	!.
essai(X,Y,L) :- 
	X2 is X+1,
	essai(X2,Y,L).

Sinon avec un accumulateur :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
test(X,L):-
	test(X,[],L).
test(0,Acc,Acc):-!.
test(X,Acc,L):-
	condition(X),
	X1 is X - 1,
	test(X1,[X|Acc],L),
	!.
test(X,Acc,L):-
	X1 is X - 1,
	test(X1,Acc,L).

test(6,R).

Par contre je ne connais pas encore les boucles, désolé ^^