мне очень нужно найти инфу о возможностях lisp в области параллельного программирования 
исключая логическое распараллеливание и параллельную редукцию графов...
я нашел пару упоминаний о таких параллельных  реализациях lisp как QLISP, MultiLisp и PaiLisp. Про последний инфы нет никакой, только пара упоминаний, про первые два нашел только пару статей от Джона Маккарти и др. , но опять таки ни мануала  ни темболее компиляторов(интерпритаторов).Если у вас есть какая-либо информация по этой теме, то я буду очень благодарен, если вы напишете...

другие реализации про которые я слышал
Butterfly PSL(просто PSL)

Попробуйте поискать Paralation Lisp и Connection Machine Lisp.

Вот пара ссылок по довольно распространённому, опенсорсному CMUCL:
Рас
Два

Я думаю с параллельными вычислениями и лиспом сейчас уже никаких проблем нет (:

А CMUCL уже поддерживает OS-threads?

Погорячился, не поддерживает. 
Но нашлась ещё вот такая штука из юзнета. Оттуда нашлась ещё вот такая штука про SBCL.

p.s. Но, если Erlang не поддерживает OS threads, он становится меньше мультипоточным?

Объектно - ориентированный диалект языка Лисп со встроенным параллелизмом вычислений.

Для Linux

Функции PROGN, PARALLEL и FORK

http://lisp2d.crimeastar.net/

В текущий момент пишется учебный курс

http://lisp2d.crimeastar.net/teach.html

еще  gcl ecl sbcl
и у грахама в книге "on lisp" есть описание как сделать на самом лиспе прогопроцессную программу.