Discussion :

[Zziann]

Bonjour,

Je bloque dans la résolution de ce prédicat :

Afficher le dernier élément de la liste l(a,l(b,l(c,0))).

Code :

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

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
3
?* dernier(X,l(a,l(b,l(c,0)))).
X = c ;
false.

J'ai réussi à créer :

Code :

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

1
2
3
4
5
6
7
in(T,l(T,_)).
in(X,l(_,Q)) :- in(X,Q).
 
% ?- in(X,l(a,l(b,0))).
X = a ;
X = b ;
false.

et également à afficher le premier élément :

Code :

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

1
2
3
4
premier(T,l(T,_)).
 
?- premier(L,l(a,l(b,0))).
L = a.

Je manque de ressources dans mon cours concernant cet exercice ainsi que sur le web après de multiples recherches.

Quelqu'un peut-il m'aiguiller concernant la résolution du prédicat dernier ?

Merci.

Bonne journée.

[Trap D]

Problème : ceci

Code :

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

 l(a,l(b,l(c,0)))

n'est pas une liste au sens de prolog, [a,b,c,d] est une liste.
L'opérateur "Univ/2" donne

Code :

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

1
2
?-  l(a,l(b,l(c,0))) =.. X.
X = [l, a, l(b, l(c, 0))].

qui indique que l est un foncteur d'arité 2 dont le premier argument est a et le second l(b,l(c,0)).
Peut-être que ton prof veut faire comprendre la structure de liste ? (en gros on retrouve l'écriture des liste en Lisp avec les notions de car et cdr).
Je t'ai montré l'opérateur à utiliser pour résoudre le problème et la récursivité est ton amie !