Определение предикатов pet и unif имеет вид:pet(h(C, N, Pt, D, S), P) = h(C, N, P, D, S):- unif(Pt, P). unif(X, Y):- X = empty, !; Y = X.
Вызов <…>, House = pet(h(empty, empty, Pt, empty, empty), P) успешен
(Отметьте один правильный вариант ответа.)
Варианты ответа
если Pt = empty или P = Pt(Верный ответ)
только если Pt = empty
всегда
только если P = Pt