В данном случае:?- автор(пушкин)=_.Yes
происходит следующее:
(Отметьте один правильный вариант ответа.)
Варианты ответа
анонимная переменная унифицируется с любым термом(Верный ответ)
переменная унифицируется с атомом или составным термом
переменная унифицируется с переменной
атом унифицируется с атомом, если они идентичны