Prolog - v podstatě se za Prologem skrývají algoritmy hrubé síly. Řekl bych, že Prolog je velice úzce specializovaný jazyk.
Lisp - je sice hrozný na zápis, ale jinak vcelku geniální. Bohužel se ho lidi dost bojí, takže se vymyslí nějaká odvozená zmršenina. Například Smalltalk, Tcl, apod.¨, která z velké části ztrácí výhody Lispu.