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