To zależy od twoich konkretnych potrzeb oraz mocnych i słabych stron poszczególnych wdrożeń. To powiedziawszy, oto pierwsze, co przychodzi mi do głowy, gdy myślę o różnych implementacjach:
SBCL jest dość szybki i dobrze radzi sobie z numerowaniem. Zatem jeśli zależysz od intensywnych obliczeń numerycznych, może to być odpowiednia implementacja dla Ciebie. Ma też przyzwoite wnioskowanie o typie (dla implementacji Lisp).
CLISP to stosunkowo niewielka implementacja kompilująca bajty, która może być interesująca dla skryptów.
Kilka lat temu wypróbowałem CCL i trzymałem się go, ponieważ wolałem komunikaty o błędach i ślady stosu od innych implementacji, a także stosunkowo krótki czas kompilacji. Dla mnie łatwość interaktywnego użytkowania jest czymś o bardzo wysokim priorytecie. Jeśli potrzebna jest jego szybkość, nadal mogę przejść na SBCL dla wdrożonego programu. (Nigdy nie było to konieczne). Istnieje również opcja komercyjnego wsparcia.
Jeśli chcesz wdrożyć na JVM, jest ABCL.
Do wbudowania, ECL.
Allegro ma AllegroGraph, AllegroStore, prosty w obsłudze wizualny konstruktor GUI i wiele więcej, ale nie wszystkim podobają się warunki licencji.
LispWorks wydaje się całkiem dobrze nadawać do programowania aplikacji dla użytkowników końcowych dzięki ładnemu wieloplatformowemu zestawowi narzędzi GUI i warunkom licencyjnym, które mogą pasować do małych zespołów i pojedynczych programistów lepiej niż Allegro. (Przynajmniej tak wolałbym.)
Oczywiście są to tylko ogólne kategorie i wrażenia. Proponuję przyjrzeć się bliżej SBCL, CCL i CLISP, ponieważ są to najczęściej używane i najlepiej obsługiwane implementacje open source IMHO, a następnie wybranie jednej z nich. To znaczy, chyba że twoje potrzeby odpowiadają temu, co ABCL lub ECL mają do zaoferowania.
Czy powinien być zgodny ze standardem ASNI?
Gdyby nie to, nie byłaby to implementacja CL. (Oczywiście może być kilka odchyleń w praktyce, ale zgodność powinna przynajmniej być celem.)
Czy powinien być obsługiwany przez SLIME?
Jasne - jeśli używasz SLIME. (Moim zdaniem jest to najlepsze dostępne obecnie środowisko Lisp, ale dla każdego z nich.)
Czy w niektórych implementacjach brakuje dobrych bibliotek, dokumentacji itp.?
Przynajmniej SBCL, CCL, Allegro i LispWorks powinny być dobrze obsługiwane przez większość powszechnie używanych bibliotek. CLISP jest wyposażony w całkiem niezłą kolekcję bibliotek i powinien być w większości obsługiwany.