majioa / refal6

REFAL6 Interpreter and byte-compiler

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

REFAL-6

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

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

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

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

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

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

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

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

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

Новые черты

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

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

About

REFAL6 Interpreter and byte-compiler

License:Other


Languages

Language:C 97.9%Language:Prolog 1.0%Language:Batchfile 0.5%Language:Visual Basic 0.3%Language:Makefile 0.2%Language:Assembly 0.1%