Как слинковать и использовать LISP-процедуру на Си? Нужно передавать ей банальные параметры, такие, как числа и строки, а на выходе получать одну строку.
Я как раз ECL однажды использовал для именно такой задачи. Ядро ECL написано на С. Не знаю, на сколько оно быстрее других Лиспов. Но разрабатывался ECL как раз для сочленения С и Лисп кода (_EMBEDDABLE_ CL). У них немного бестолковый манул, но по мейл-листу разобраться в принципе можно.
PicoLisp динамичный, интерпретируется (но быстро, ввиду его минималистичности. Потом требуемые основные функции переписываются на C и встраиваются в приложение).
Lisp-runtime с кусками на ассемблере для Nintendo, Playstation. Динамическая подгрузка функций в runtime (поправили-подгрузили новую версию, в runtime, без перезапусков)