Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/majioa/refal6

REFAL6 Interpreter and byte-compiler
https://github.com/majioa/refal6

Last synced: 1 day ago
JSON representation

REFAL6 Interpreter and byte-compiler

Awesome Lists containing this project

README

        

# REFAL-6

Этот изящный универсальный язык программирования высокого уровня, который ориентирован на обработку символьных древовидных структур и обладает мощным механизмом сопоставления с образцом - наилучший выбор для специалистов с математичеким мышлением. [Refal-6](http://refal.net/~arklimov/refal6/index.html) является диалектом и расширением языка [Refal-5](http://www.botik.ru/pub/local/scp/refal5/refal5.html), созданного проф. В.Ф.Турчиным. Система Рефал-6 первоначально была разработана и реализована Николаем Кондратьевым, а затем доработана Аркадием Климовым.

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

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

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

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

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

### Обработка символьных данных
### Компьютерная алгебра
### Скриптопишество и Прототипирование

## Новые черты

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

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

* [Рефал-6 для Windows-95/98/NT (а также для DOS )](http://refal.net/~arklimov/refal6/Refal6.zip). (Обновлено 08.02.2001). Распакуйте в любой каталог и читайте дальнейшие инструкции в help/readme.txt.

* [Документация по языку программирования Рефал-6](http://refal.net/~arklimov/refal6/manual.htm). (Обновлено 18.01.2004). Архив документации.

* [Исходные тексты (на C)](http://refal.net/~arklimov/refal6/Refal6-S-C.zip) для сборки исполняемого файла ri.exe - интерпретатора R-кода. (Обновлено 08.02.2001).

* [Исходные тексты (на Рефале-6)](http://refal.net/~arklimov/refal6/Refal6-S-Ref.zip) для сборки компилятора Рефала-6. (Обновлено 08.02.2001).

* [Рефал-Java](http://refal.net/~arklimov/refal6/refal-j.htm). (Обновлено 21.04.2003)