Home

Добро пожаловать в

РЕФАЛ-6 ! 

REcursive Functions Algorithmic Language

     

 

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

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

 

Рефал-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).

NEW!!! Рефал-Java. (Обновлено 21.04.2003).