/refal6

REFAL6 Interpreter and byte-compiler

Primary LanguageCOtherNOASSERTION

REFAL-6

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

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

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

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

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

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

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

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

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

Новые черты

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

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