Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск22
Система КЕНТАВР управляет вызовом правил вывода предметного уровня путем явной привязки их к контексту, в котором они применяются. Например, список правил для определения обратимости ОВП связан со слотом ОБРАТИМОСТЬ прототипа ОВП, и уже построен так, что включает только те правила вывода предметного уровня, которые приложимы к ОВП.