Ссылки: Официальный сайт REFAL REFAL: Статья в википедии
REFAL - первый язык, основанный на переписывающиз правилах
Программа - это последовательность правил вида X -> Y
где x и y - термы.
Дата создания: 1966
Парадигма: правила переписывания Типизация: бестиповая Принятые расширения файлов: rf
|