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