Discussion :

[Train55]

Bonjour,

Je suis débutant en Prolog. J'essaye de créer un prédicat pour obtenir le suffixe et le préfixe de la liste(X,l(a,l(b,0)))).
De manière à obtenir :

Code :

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

1
2
3
4
5
6
 
prefixe(P,l(a,l(b,0))). 
P = 0; 
P = l(a, 0); 
P = l(a, l(b, 0)); 
false.

Code :

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

1
2
3
4
5
6
 
suffixe(S,l(a,l(b,0))). 
S = l(a, l(b, 0));
S = l(b, 0); 
S = 0; 
false.

Voila ce que j'ai fait pour l'instant :

Code :

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

1
2
3
4
 
% Suffixe 
suffixe(T,l(T,_)). 
suffixe(X,l(_,Q)) :- suffixe(X,Q).

Code :

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

1
2
3
4
 
% Prefixe
prefixe(Q,l(_,Q)). 
prefixe(X,l(_,Q)) :- prefixe(X,Q).

.


Mais j'obtiens :

Code :

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

1
2
3
4
5
 
prefixe(S,l(a,l(b,0))).
S = l(b, 0) ;
S = 0 ;
false.

.

Code :

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

1
2
3
4
5
 
suffixe(S,l(a,l(b,0))).
S = a ;
S = b ;
false.

Quelqu'un pourrait - il m'expliquer ce que j'ai fait de mal ?

[Trap D]

Bonjour
Un peu difficile pour un débutant.
Première chose l(T,Q) n'est pas une liste mais un "compound term", peut-être "terme composé" en français.

le code de suffixe est

Code :

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

1
2
% Suffixe
suffixe(X,l(T,Q)) :- X = l(T,Q) ; (Q =.. [l | _] -> suffixe(X,Q); X = Q).

En gros qu'ai-je écris ?
X = l(T,Q) ==> le suffixe de l(T,Q) c'est lui-même
mais (introduit par le ';')
si le terme Q se décompose à l'aide l'opérateur "univ" (=..) en une liste [l | _] (l suivi de quelque chose) on rappelle suffixe avec Q sinon le suffixe est Q.

Je te laisse réfléchir à l'écriture de prefixe, un indice, prefixe est "l'inverse" de suffixe).
Bon courage.

[Zziann]

Bonjour Trap D,

Je tiens à te remercier pour toutes tes précisions sur cet exercice. Je suis également concerné et je n'arrive pas à créer le prédicat préfixe et afficher le dernier élément de la liste.
Nous disposons d'un cours très débutant qui n'aborde pas du tout ce type de liste l(a, l(b, 0)) mais plutôt des grands classiques de liste de type [a, b, c, d].

Après de plusieurs recherches sur le web, je n'ai pas trouvé de ressources concernant la résolution de ce type d'exercice. Peux-tu m'aider ? sinon les étudiants concernés par cet exercice vont juste recevoir une note sans explication, ce qui est dommage en terme d'apprentissage

Bonne journée.

[Trap D]

Bonjour
Pas terrible de déterrer un vieux sujet.
Montre d'abord ce que tu as fait. Comme je le disais, préfixe est l'inverse de suffixe, alors ...

[Zziann]

Je poste très rarement sur les forums. Je vais me mettre à la page concernant les règles à respecter.

L'exercice demande :

premier(X, L).X est le premier élément de la liste L.

Code :

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

1
2
?* premier(X,l(a,l(b,l(c,0)))).
X = a.

J'ai réussi sans trop de mal :

Code :

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

1
2
3
premier(T,l(T,_)).
 
dernier(X, L).

X est le dernier élément de la liste L.

Code :

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

1
2
?* dernier(X,l(a,l(b,l(c,0)))).
X = c;

J'ai voulu m'inspirer sur les seules données du cours que j'ai a disposition :

Code :

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

1
2
dernier1([X],X).
dernier1([_|L],X) :- dernier1(L,X).

mais en vain :

Code :

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

1
2
dernier1(l(),X).
dernier1(l(_|L),X)) :- dernier1(L,X).

Cela ne donne rien.

J'ai réussi à faire :

Code :

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

1
2
in(T,l(T,_)).
in(X,l(_,Q)) :- in(X,Q).

qui renvoie x =a, x =b, x= c.

Cet exercice demande également préfixe :

Code :

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

1
2
3
4
prefixe(P,l(a,l(b,0))).
P = 0 ;
P = l(a, 0) ;
P = l(a, l(b, 0)) ;

J'ai essayé d'utiliser :

Code :

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

1
2
retourne([],[]).
retourne([X|R],L1) :- retourne(R,R1),append(R1,[X],L1).

mais la syntaxe est encore une fois pas adaptée.

J'ai pensé à faire un not sur suffixe mais bon je préfère pas. C'est pas pédagogique.

En fait, je ne trouve pas de méthode sur le web, ni dans mon cours. As-tu une solution ou un bouquin à me conseiller ?

Bonjour
Pas terrible de déterrer un vieux sujet.
Montre d'abord ce que tu as fait. Comme je le disais, préfixe est l'inverse de suffixe, alors ...

[Trap D]

Pour suffixe on a l'un ou l'autre, peut-être qu'en faisant l'autre ou l'un ...

[Zziann]

Un grand merci de m'avoir aider mais hélas le préfixe n'est pas l'inverse du suffixe.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
?* prefixe(P,l(a,l(b,0))).
P = 0 ;
P = l(a, 0) ;
P = l(a, l(b, 0)) 
;false.
 
 
?* suffixe(S,l(a,l(b,0))).
S = l(a, l(b, 0)) ;
S = l(b, 0) ;
S = 0 ;

Bonne journée.

Pour suffixe on a l'un ou l'autre, peut-être qu'en faisant l'autre ou l'un ...

[Trap D]

Bah, il me semble que

Code :

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

prefixe(X,l(T,Q)) :- (Q =.. [l | _] -> prefixe(X,Q); X = Q); X = l(T,Q) .

fait l'affaire, Compare avec le code de suffixe !

[Zziann]

Code :

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

prefixe(X,l(T,Q)) :- (Q =.. [l | _] -> prefixe(X,Q); X = Q); X = l(T,Q).

donne :

Code :

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

1
2
3
4
5
?- prefixe(L, l(a,l(b,l(c,0)))).
L = 0 ;
L = l(c, 0) ;
L = l(b, l(c, 0)) ;
L = l(a, l(b, l(c, 0))).

or l'énoncé demande que le prédicat préfixe affiche :

Code :

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

1
2
3
4
5
?* prefixe(P,l(a,l(b,0))).
P = 0 ;
P = l(a, 0) ;
P = l(a, l(b, 0)) ;
false.

Bah, il me semble que

Code :

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

prefixe(X,l(T,Q)) :- (Q =.. [l | _] -> prefixe(X,Q); X = Q); X = l(T,Q) .

fait l'affaire, Compare avec le code de suffixe !

[Trap D]

Comme d'hab je n'ai pas bien lu la consigne
Ce que j'ai fait ne me satisfait pas, que veut le prof pour prefixe(L, l(a,l(b,l(c,0)))).

Code :

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

1
2
3
4
5
prefixe(X,l(T,Q)) :-
    prefixe(X1, Q),
    (   X = X1; X = l(T,X1); X = l(T, Q)).
 
prefixe(0, l(_T,0)).