Свойства , которым должно удовлетворять информационное наполнение системы , формулируются в виде продукционных правил .
introducesClosure(T1 , T2 ) : — introduces(T1 , T2 ) ( 1 )
Свойства , которым должно удовлетворять информационное наполнение системы , формулируются в виде продукционных правил .
Сформулируем это ограничение в виде правил - продукций : introducesClosure(T1 , T2 ) : — introduces(T1 , T2 ) ( 1 ) introducesClosure(T1 , T3 ) : — introduces(T1 , T2 ) , introducesClosure(T2 , T3 ) ( 2 ) requirementForClosure(R , T2 ) : — requirementFor(R , T1 ) , introducesClosure(T1 , T2 ) ( 3 ) Правила ( 1 ) и ( 2 ) определяют предикат introducesClosure как транзитивное замыкание по свойству « introduces » .