Википедия
РЕФАЛ (РЕкурсивных Функций АЛгоритмический) — один из старейших функциональных языков программирования , ориентированный на символьные вычисления : обработку символьных строк на другой; решение проблем, связанных с искусственным интеллектом . Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ.
Отличительной чертой языка является использование сопоставления с образцом и переписывания термов как основного способа определения функций.