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