Comme cela a déjà été indiqué, Common Lisp propose plusieurs primitives d'itération. La plus sophistiquée d'entre elles est loop proposant un véritable sous-langage (très différent de Common Lisp) pour la construction de boucles. C'est un bon exemple de langage enchâssé.