\- правила вывода ( продукционные правила ) являются хорновскими выражениями ;
\- факты представляют собой атомарные формулы .
В модели продукционных правил с целью повышения эффективности логического вывода введены ограничения : \- правила вывода ( продукционные правила ) являются хорновскими выражениями ;
\- факты представляют собой атомарные формулы .