Авторы предлагают использовать <*> логические правила - продукции .
Преимущества продукционного языка - декларативность и язык запросов , основанный на логическом выводе .
Авторы предлагают использовать для целей верификации информационного наполнения СОЗ логические правила - продукции .
Преимущества продукционного языка - декларативность и язык запросов , основанный на логическом выводе .