REFAL-6

Этот изящный универсальный язык программирования высокого уровня, который ориентирован на обработку символьных древовидных структур и обладает мощным механизмом сопоставления с образцом - наилучший выбор для специалистов с математичеким мышлением. Refal-6 является диалектом и расширением языка Refal-5, созданного проф. В.Ф.Турчиным. Система Рефал-6 первоначально была разработана и реализована Николаем Кондратьевым, а затем доработана Аркадием Климовым.

Области эффективного применения

Языки программирования

трансляция;
анализ
метавычисления

Искусственный интеллект

доказательство теорем
естественные языки
базы знаний

Обработка символьных данных

Компьютерная алгебра

Скриптопишество и Прототипирование

Новые черты

Откатные функции и блоки, разделяемые термы, большинство данных интерпретируются как абстрактные контейнеры, динамическая загрузка, полный доступ к программному коду.

Ссылки на документацию и реализации

Рефал-6 для Windows-95/98/NT (а также для DOS ). (Обновлено 08.02.2001). Распакуйте в любой каталог и читайте дальнейшие инструкции в help/readme.txt.
Документация по языку программирования Рефал-6. (Обновлено 18.01.2004). Архив документации.
Исходные тексты (на C) для сборки исполняемого файла ri.exe - интерпретатора R-кода. (Обновлено 08.02.2001).
Исходные тексты (на Рефале-6) для сборки компилятора Рефала-6. (Обновлено 08.02.2001).
Рефал-Java. (Обновлено 21.04.2003)

majioa/refal6