модель, реализующая и объекты, и правила с помощью предикатов первого порядка, являющаяся строго формализованной моделью с универсальным дедуктивным и монотонным методом логического вывода «от цели к данным», - это