Mag Pie
Первая версия компилятора была написана на OCaml. Раст разрабатывают функциональщики потому как бы они не пытались но все время получается гибрид хаскеля с прологом и лиспом
А что в Расте от Пролога? Я последний раз Пролог в универе писал, и писал я сортировку списка, так что могу просто не видеть очевидного :)