РЕФАЛ
З Вікіпедії, безкоштовно encyclopedia
РЕФАЛ (РЕкурсивних Функцій АЛгоритмічна) — одна з найстаріших функційних мов програмування, орієнтована на так звані «символьні перетворення»: обробку символьних рядків (наприклад, алгебраїчні вирази); переклад з однієї мови (штучної або природної) на іншу; розв'язання задач, пов'язаних з штучним інтелектом. Поєднує в собі математичну простоту з практичною орієнтацією на написання великих і складних програм.
Відмінною рисою мови є використання зіставлення зі зразком як основного способу визначення функцій.