Barrapunto

En todo caso un caml, no un prolog. Prolog es un lenguaje de programación lógica (que vale, también es funcional) muy limitadito. Es normal que maneje las listas en forma "cabeza-cola" como tu lo llamas, al fin y al cabo es un lenguaje funcional, no existe otra forma funcional de manejar listas... No solo gestiona datos con listas, tambien tiene variables simples y registros, aunque al final en realidad son todo lo mismo, solo que tienes diferentes formas de acceso.

Te falta comentar que no tiene tipado, mientras que los lenguajes funcionales clásicos son muy fuertemente tipados.

La propia ericsson lo utiliza para montar sus servidores de comunicaciones, y en mi facultad están haciendo un servidor de vídeo bajo demanda para una empresa de cable utilizando este lenguaje, y al parecer están muy contentos con él.

Ah, al igual que caml, tiene interfaz con un montón de bibliotecas externas, entre las que está GTK por supuesto.

Además una de sus características más interesantes es la gestión que hace de threads. Permite cosas como correr threads en diferentes máquinas de forma transparente, robustez mediante el enlace de threads entre si (si uno muere, los que están enlazados mueren, o bien lo vuelven a lanzar, etc).