Здравствуйте, BulatZiganshin, Вы писали:

BZ>а у ML — из пролога, хотя и в сильно обрезанном виде

Пролог создан в 1972 г. (http://en.wikipedia.org/wiki/Prolog)
ML создан в 1973 г. (http://en.wikipedia.org/wiki/ML_programming_language)

Если они создавались не в рамках одного проекта, то вряд ли могли взаимстовать идеи друг у друга. В те времена Интеренета и привычки делать все ОпенСорсом небыло.