Discussion :

[magnum_cl9]

bonjour à tous,

je suis entrain d'apprendre le langage LISP "Clisp", le debut été très bien tout été bien clair, mais là je commence à rencontrer des complications.. J'ai besoin de savoir comment construire une fonction en Clisp qui prend en argument une liste et retourne cette meme liste avec le premier element placé à la fin :exp

(a b c d) --> (b c d a)


j'ai pensé à faire un simple cons entre le "cdr" de la liste et son "car"... est ce faux??


et une autre fonction qui fait la meme chose pour les n premiers elements de la liste passée en argument (n est passée également en argument), exp:

( 3 '(a b c d e)) ---> (d e a b c)



je suis sur mandriva 2006
merci pour votre aide...

[Trap D]

Connais-tu la fonction reverse ?

[magnum_cl9]

Connais-tu la fonction reverse ?

oui, bien évidement, mais mon but est de proceder avec les formes de Clisp genre "cons" "car" "cdr"... utiliser la récursivité... et non pas avec les fonctions prédéfinies...


merci our ta réponse.

[Trap D]

Dans ce cas, je crois que tu as besoin d'une première fonction pour extraire le premier élément de la liste, puis d'une deuxième fonction récursive pour envoyer cet élement en fin de liste.

[magnum_cl9]

bon voila ce que j'ai fait:

- en premier lieu j'ai fait une fonction recursive pour la concaténation de deux listes (ou bien éléments) de la maniere suivante:

Code Lisp :

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

1
2
3
(defun concat (l e)
      (if (null l) e
       (cons (car l) (concat (cdr l) e))))

- puis j'ai fait la fonction "renver" qui fait appel à la premiere pour mettre le car d'une liste à la fin de celle ci de la maniere suivante:

Code :

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

1
2
3
  (defun renv (l)
      (if (null l) ()
       (concat (cdr l) (car l))))

le teste donne:

Code :

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

1
2
(renv '(a b c d))
(B C D . A)

alors qu'en dis tu???
est ce biein propre?? et puis pour le resultat du teste, est ce bien une liste équivalente
à (B C D A)??

merci d'avance pour la réponse

[Jedai]

alors qu'en dis tu???
est ce biein propre?? et puis pour le resultat du teste, est ce bien une liste équivalente
à (B C D A)??

Non, (B C D A) est une liste de 4 éléments, (B C D . A) est une liste de 2 éléments : la liste (B C D) puis A.

--
Jedaï

[magnum_cl9]

moui je comprend, mais comment pourrais je modifier mes fonctions de telle façon qu'elles me donnent exactement une seule liste à la fin (cad: (B C D A) et non pas (B C D . A) )......... je bloque

[Trap D]

Considère ceci

> (cons 'a 'b)
(a . b)
> (cons 'a '(b))
(a b)

[Trap D]

Non, (B C D A) est une liste de 4 éléments, (B C D . A) est une liste de 2 éléments : la liste (B C D) puis A.

--
Jedaï

J'aurais dit 3 éléments B, C et D.A

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
Si je me souviens
(B C D.A) peut s'écrire
 /\
B /\
 C /\
  D  A
 
et (B C D A) s'écrit lui
 /\
B /\
 C /\
  D /\
   A ()

La liste à deux éléments s'écrirait ((b c d) a).

[magnum_cl9]

bonjour,

bon voila ce que j'ai fait :
j'ai refait la fonction concat de la façon suivante:

Code :

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

1
2
3
4
 
(defun concat (l e)
    (if (null l) (list e)
      (cons (car l) (concat (cdr l) e))))

puis j'ai refait la fonction renv comme suit:

Code :

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

1
2
3
4
 
(defun renv ( l )
   (if (null l) ( )
      (concat (renv (cdr l)) (car l))))

le teste a bien donné le resultat suivant:

Code :

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

1
2
3
 
Break 5 [6]> (renv '(a b c d))
                        (D C B A)

donc je pense que le premier resultat de ma premiere fonction renv n'ete pas bon car j'ai appliqué la concaténation sur le cdr (complet) de la liste ' l ' et le car de cette derniere, alors qu'ici j'ai parcouru le cdr de ' l ' (récursivement) pour mettre à la fin le car dans le cdr final de la liste (qui est vide (nil)), et ceci donne bien evidement toute la liste avec le car rattaché à la fin (dans le dernier cdr qui ete 'nil' ).


je pense que le resultat est bon, mais, pour mon raisonnement, est il exacte??

merci pour votre aide

Ps: j'ai posté une autre question concernant le Ocaml je sais pas si vous pouvez me repondre ...

[Trap D]

Ton code me parais correct, j'ais à peu près le même.
pour ce qui est d' Ocaml, désolé, je n'en connais que le nom

[Nemerle]

pour ce qui est d' Ocaml, désolé, je n'en connais que le nom

toi aussi?

[Trap D]

Eh oui, moi j'en suis resté au Lisp et au C, ça date quand même.
OCaml et Haskell, c'est des langages de jeunots.

[magnum_cl9]

merci à vous tous pour vos solutions et éxplications, sérieusement je trouve que ce forum est trop efficace
c'est pas grave pour le Ocaml j'ai bien retrouvé la réponse à mes quetions

donc voila maintenant les choses deviennent de plus en plus claires.
bon je voudrai également savoir une autre chose sur les listes: est ce possible de représenter une "file" ou bien une "pile" à l'aide d'une liste?? autrement dit, si je voudrais créer une file (ou pile ) vide, pourrais je par exemple faire ceci:

Code :

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

 (setq file_vide ())

si oui, ceci serait il vrai pour les vecteurs aussi??

[Trap D]

Salut

Comme tu découvres ce langage, je ne peux que te conseiller cette très bonne lecture : Structure and Interpretation of Computer Programs
Tu y trouveras en particulier comment définir, pile, file vecteurs ...

[magnum_cl9]

t'aurais pas un cours en français qui parle de ça?? j'ai cherché partout et j'en trouve pas !!

[Trap D]

En français, il y a un excellent bouquin : "Programmer avec Scheme, de la pratique à la théorie" de Jacques Chazarin, mais je ne crois pas qu'il y ait une édition électronique.

[belaidw]

salut,

(defun unifierAtomes (E1 E2)
(if (NOT(atom E1))(PROGN (setq temp E1) (setq E1 E2)(setq E2 temp)))
;;(if (equal E1 E2) 'nil)
;;(if (estUneVariable E1) (PROGN (if (apparait E1 E2) 'ECHEC) (return E1)))
;;(if (estUneVariable E2) (PROGN (return (append E1 E2)) (return 'ECHEC)))))



dans cette fonction je dois retourner plusieurs variables achake cdt , j'ai une erreur "ABORT" et je sais pas comment corriger ma fonction

Veuillez bien m'aider

[Garulfo]

salut,

(defun unifierAtomes (E1 E2)
(if (NOT(atom E1))(PROGN (setq temp E1) (setq E1 E2)(setq E2 temp)))
;;(if (equal E1 E2) 'nil)
;;(if (estUneVariable E1) (PROGN (if (apparait E1 E2) 'ECHEC) (return E1)))
;;(if (estUneVariable E2) (PROGN (return (append E1 E2)) (return 'ECHEC)))))



dans cette fonction je dois retourner plusieurs variables achake cdt , j'ai une erreur "ABORT" et je sais pas comment corriger ma fonction

Veuillez bien m'aider

Tu as ouvert un sujet pour ça. Poser une fois la question ne suffit pas ?

[Garulfo]

Ça doit être aussi.