Процедурная семантическая модель программы на языке Prolog:
(Отметьте один правильный вариант ответа.)
Варианты ответа
рассматривает правила как последовательность шагов, которые необходимо успешно выполнить для того, чтобы соблюдалось отношение, приведенное в заголовке правила(Верный ответ)
рассматривает отношения, определенные в программе, при этом порядок следования предложений в программе и условий в правиле не важен
рассматривает отношения, не определенные в программе
