Discussion :

[rleveugle]

Bonjour à tous, je rencontre un soucis lorsque j'ajoute des éléments à une liste.

Voici mon code :

---------

Code :

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

1
2
3
4
init(L) :- length(L,0).
test(P,L,L1) :- test2(L,P,L1).
test2(L,P,L1) :- P=<2,!,append([P],L,L1),X is P+1,test(X,L1,L2).
test2(L,P,L1) :- P>2,!,writeln('Termine').

---------

En fait, je souhaite ajouter des éléments après vérification de leur valeur (j'ai fortement simplifié mon programme, c'est le principe qui m'intéresse^^).

Mon soucis vient du fait que je veux "transférer" la nouvelle liste (qui correspond à la liste après ajout) vers la liste de base (comme si j'enregistrais), pour garder les valeurs.

En gros, dans mon cas, Prolog m'affiche :
----
L1 = [1]
----

Alors que j'aimerais qu'il m'affiche :
----
L1 = [1 1]
----

Je ne sais pas si vous me comprenez,
Merci beaucoup

[Trap D]

Code :

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

init(L) :- length(L,0).

Ici tu crées une liste vide.
(Tu aurais aussi bien pu écrire init([]). et lorsque tu appellerais init(L) L serait unifié avec []).

Code :

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

1
2
3
test(P,L,L1) :- test2(L,P,L1).
test2(L,P,L1) :- P=<2,!,append([P],L,L1),X is P+1,test(X,L1,L2).
test2(L,P,L1) :- P>2,!,writeln('Termine').

Ton problème vient de la terminaison test2(L,P,L1) :- P>2,!,writeln('Termine')..
Tu penses en avoir terminé avec ce prédicat, mais tu laisses L et L1 avec les mêmes valeurs, il faudrait que tu unifies L et L1 en écrivant :

Code :

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

test2(L,P,L) :- P>2,!,writeln('Termine').

Maintenant, que souhaites tu avoir comme résultat ?
Tu espères [1, 1] mais tel que tu l'écris, (en modifiant encore le code) tu obtiendrais [2, 1, 0] !