Российская Академия Наук

Ордена Трудового Красного Знамени

Институт радиотехники и электроники

Лаборатория 144

АКТОРНЫЙ ПРОЛОГ

ОПРЕДЕЛЕНИЕ ЯЗЫКА ПРОГРАММИРОВАНИЯ

версия от 23 января 2004 года

 

ОГЛАВЛЕНИЕ


© Данная публикация является электронной версией издания
Морозов А.А., Обухов Ю.В. Акторный Пролог. Определение языка программирования. - Москва, 1996. - Препринт ИРЭ РАН 2(613). - 57с.

Текст определения Акторного Пролога в формате PDF можно прочитать здесь.

В настоящее время работа над определением языка продолжается (см. список исправлений и примечаний к определению языка). Пожалуйста, заполните нашу анкету и пришлите Ваши критические замечания и предложения по улучшению текста.

Замечания по оформлению WWW-страниц, пожалуйста, присылайте А.А.Морозову по адресу morozov@mail.cplire.ru.

Авторы признательны Российскому Фонду Фундаментальных Исследований, при поддержке которого выполнена эта работа (проекты 95-01-00822, 00-01-00560, 01-01-06278, 03-01-00256).


Наиболее важные средства Акторного Пролога с примерами практического использования подробно рассмотрены в работе
Морозов А.А. Введение в Акторный Пролог. - Москва: 2002. (http://www.cplire.ru/Lab144/start/r_index.html)

Об основных эстетических принципах, положенных в основу проекта, можно прочитать в материалах II международной конференции "Дискретные модели в теории управляющих систем" (23-28 июня 1997 года, пансионат МГУ "Красновидово").

Изложение основных идей, связанных с логической интерпретацией объектно-ориентированного подхода, а также практическим использованием объектно-ориентированного логического программирования для структурного анализа и проектирования, можно найти в материалах IV международной конференции "Развитие и применение открытых систем" (27-31 октября 1997 года, Нижний Новгород), а также в автореферате диссертации А.А.Морозова "Логический анализ функциональных диаграмм в процессе интерактивного проектирования информационных систем".

Посетите страницу логического программирования В.А.Петухина и подпишитесь на русский список рассылки по логическому программированию.

Back to Research Divisions
IRE RAS Homepage