1. Мова програмування високого рівня, створена в Радянському Союзі, яка належить до сімейства функціональних мов і базується на моделі обчислень за допомогою зіставлення зі зразком та перезапису термів.
2. У комп’ютерній лінгвістиці та машинному перекладі — формальна система або алгоритм, що описує правила перетворення структур даних (наприклад, синтаксичних дерев), названа на честь однойменної мови програмування.