Depende de sus necesidades específicas y de las fortalezas y debilidades de las implementaciones particulares. Dicho esto, esto es lo que primero viene a mi mente cuando pienso en diferentes implementaciones:
SBCL es bastante rápido, y bueno en el cálculo de números. Entonces, si depende de un cálculo numérico pesado, esa podría ser la implementación adecuada para usted. Además, tiene una inferencia de tipo decente (para una implementación de Lisp).
CLISP es una implementación de compilación de bytes relativamente pequeña que podría ser interesante para la creación de scripts.
Hace unos años, probé CCL y me quedé con él, porque prefería sus mensajes de error y seguimientos de pila a los de otras implementaciones, así como sus tiempos de compilación relativamente bajos. Para mí, la facilidad de uso interactivo es algo de alta prioridad. Si se necesita su velocidad, aún podría cambiar a SBCL para el programa implementado. (Sin embargo, nunca fue necesario). Además, existe la opción de soporte comercial.
Si desea implementar en la JVM, hay ABCL.
Para uso incorporado, ECL.
Allegro tiene AllegroGraph, AllegroStore, un generador de GUI visual fácil de usar y mucho más, pero no a todos les gustan sus términos de licencia.
LispWorks, parece prestarse bastante bien para la programación de aplicaciones de usuario final con un buen kit de herramientas GUI multiplataforma y términos de licencia que podrían adaptarse a equipos pequeños y programadores individuales mejor que los de Allegro. (Al menos es lo que preferiría).
Por supuesto, estas son solo categorías e impresiones amplias. Sugeriría echar un vistazo más de cerca a SBCL, CCL y CLISP, ya que esas son en mi humilde opinión las implementaciones de código abierto más utilizadas y mejor compatibles, y luego elegir una de ellas. Es decir, a menos que sus necesidades coincidan con lo que ABCL o ECL tienen para ofrecer.
¿Debería cumplir con el estándar ASNI?
No sería una implementación CL, si no fuera así. (Por supuesto, puede haber algunas desviaciones en la práctica, pero la conformidad debería ser al menos el objetivo).
¿Debería ser compatible con SLIME?
Claro, si usas SLIME. (En mi opinión, es el mejor entorno Lisp disponible en este momento, pero para cada uno lo suyo).
¿Ciertas implementaciones carecen de buenas bibliotecas, documentación, etc.?
Al menos SBCL, CCL, Allegro y LispWorks deberían ser compatibles con la mayoría de las bibliotecas de uso común. CLISP viene con una colección de biblioteca bastante agradable en sí misma, y también debería ser compatible principalmente.