Prolog or Lisp?

с lisp.

Пролог - эт не совсем функциональный язык. Он скорее декларативный.

Ни тот, ни другой, не относятся к ФП. Учи Хаскелль или Clean.

Пролог - логический.

Начать - Scheme. Продолжить - Haskell.

Пролог - не ФП. Лисп - смешанный. Я все несколько университетских лет посвятил Прологу (на базе SWI Prolog). Если честно, то ниши экологической сейчас найти этому языку и поисковой машине Пролога не могу.

Для чистого ФП лучше Haskell.

Lisp

Сам по себе, отдельно, Пролог и в самом деле малоприменим. А вот как встраиваемый DSL либо очень узкоспециализированный DSL он применяется очень часто - и, соответственно, в первую очередь надо уметь именно писать реализации Прологов.

P.S. GNU Make - тоже, в общем-то, Пролог.

>Если честно, то ниши экологической сейчас найти этому языку и поисковой машине Пролога не могу.

Йода, ты ли это?