Creo que en los mismos aspectos que indica Alan Kay destaca también Prolog[1].
Aunque siempre se le ha ligado a la IA, lo cierto es que es un lenguaje de propósito general (sistema Turing completo[2]).
La implementación SWI-Prolog[3] contiene muchos módulos[4] que permiten entre otras cosas razonamiento sobre grafos RDF, creación de servidores/servicios WEB, sistemas de criptografía, uso de bases de datos relacionales convencionales, computación paralela para mega-sistemas, integración biyectiva con otros lenguajes (también con Python), etc.
Aunque siempre se le ha relacionado con cierta lentitud lo cierto es que existen implementaciones más rápidas o más lentas (SWI-Prolog no es de las más rápidas), pero tampoco Python o PHP entre otros lo son.
Desde luego para aquellos que le guste evaluar alternativas, Prolog es un reto intelectual, por el modo en que se programa (lógica-declarativa frente a la tan común imperativa).
Por último, solo hacer referencia a que en los últimos años (hace bastante poco), Prolog está teniendo un pequeño resurgir gracias a SWI-Prolog, y conforme al índice TIOBE[5] Prolog está por delante de otros lenguajes, respecto a su uso por los programadores, como Lisp (y Scheme), Erlang, Julia y Clojure entre otros.
[1]: Prolog en wikipedia: https://en.wikipedia.org/wiki/Prolog.
[2]: Prolog Turing completeness: https://en.wikipedia.org/wiki/Prolog#Turing_completeness.
[3]: SWI-Prolog: https://en.wikipedia.org/wiki/SWI-Prolog.
[4]: Módulos de SWI-Prolog: http://www.swi-prolog.org/pack/list.
[5]: Índice TIOBE: https://www.tiobe.com/tiobe-index/.