Discussion :

[tamika]

Salut,
merci beaucoup, tous les codes et les remarques que vous m’envoyez me sont très utiles et j’apprend beaucoup grâce a votre aide.

[pcaboche]

Malheureusement je ne possède pas ce livre , et pour cause: il est antérieur à mes études d'informatique (édition Masson: 1990, MIT Press: 1994, traduction Française aux éditions Dunod: 1997)

Je ne doute pas que les auteurs soient "assez bons" (même très très bons) et certainement bien meilleurs que moi, mais j'aimerais bien connaitre leurs arguments. (sachant que j'ai déjà exposé ce que je pensais concernant l'implémentation et d'éventuels problèmes de performances)

[pcaboche]

J'ai fait un petit test en vue d'un prochain article.

Voici le programme de test, que vous pouvez essayer avec différentes valeurs de N:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
genListe1(N, [N|Q]) :-
  N>0, !,
  N1 is N-1,
  genListe1(N1, Q).
 
genListe1(0, []) :- !.
 
 
 
 
elem(N, _) :- 
  N=<0,
  !, fail.
 
elem(N, N).
elem(N, R) :- 
  N1 is N-1,
  elem(N1, R).
 
 
 
genListe2(N, L) :- findall(X, elem(N, X), L).
 
 
test(N) :-
  time( genListe1(N, _) ),
  time( genListe2(N, _) ).

Les deux prédicats genListe génèrent la liste des éléments de N à 1, par ordre décroissant.

Il apparait que genListe2 (solution avec findall) est plus lente de genListe1 et utilise plus de mémoire, ce qui est normal.

Le test lui-même est défavorable à la solution avec findall, car on utilise énormément la pile avec le prédicat elem/2 (ce qui provoque une erreur de dépassement de pile un peu au delà de 100'000 éléments).


Dans le cas d'une utilisation "normale" (où on ne fait pas un usage trop conséquent de la pile) l'usage du findall est tout à fait envisageable. Comme précisé auparavent, cela facilite l'écriture du prédicat et rend l'application plus souple, plus modulaire et plus facile à lire (sans être beaucoup plus lent). Dans le cas de prototypage (développement itératif), c'est tout à fait recommendé.