Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

  1. #1
    Membre à l'essai
    Prolog : afficher le dernier d'une liste de type l(a,..)
    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.

  2. #2
    Rédacteur/Modérateur

    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 !
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : La Madeleine à la veilleuse de Georges de La Tour

###raw>template_hook.ano_emploi###