Логическое программирование

Композиция унификаторов = будет в том случае, если:

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

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

это формула или терм, в которой все вхождения X_i заменены на соответствующие термы t_i

для всех формул F : F = (F)(Верный ответ)

для всех формул F = G

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

Если для всех вершин графа x имеет место h₁(x) больше либо равен h₂(x), в этом случае:

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

Подстановка называется унификатором для формул или термов F и G, если:

Алгоритм эвристического поиска с функцией h₁(x) называется более информированным по сравнению с алгоритмом с функцией h₂(x), если:

В каком случае эвристическая функция h(x) может быть монотонной?

Формула B следует из формулы A, если:

Если для алгоритма поиска А выполняется условие, что h(x) больше либо равен нулю, но меньше либо равен h*(x), то:

Кортеж, включающий в себя множество R правил вида a → b, где $a,b \in {(N \cup A)^*}$ :

Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).