Акторный Пролог - объектно - ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и др.) ... Доказательство логических акторов (далее - просто " акторов ") осуществляется в объектно - ориентированном пространстве поиска, топология которого соответствует структуре системы. ... Различаются "минимальная", "быстрая" и "максимальная" версии языка. ...