Языки логического программирования

Как определяется отношение выводимости запросов Q₁ и Q₂?

(Отметьте один правильный вариант ответа.)

Варианты ответа

Q₁ и Q₂ различаются лишь одним атомом запроса, который в Q₂ получается некоторой подстановкой из соответствующего атома из Q₁

существует подстановка, превращающая все атомы запроса Q₁ в атомы запроса Q₂

Q₁ и Q₂ различаются лишь одним атомом запроса, который в Q₂ получается НОУ из соответствующего атома из Q₁(Верный ответ)

Похожие вопросы

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?

Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?

Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?

Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?

Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?

Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?

Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?

Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?