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