1. Размеры(12, 15, 18) ≠ Размеры(12, X, X) Данные выражения не унифицируются, потому что в первом выражении все три аргумента имеют точные значения (12, 15, 18), в то время как во втором выражении два аргумента имеют точные значения (12 и X), а третий аргумент также должен иметь значение X, что невозможно. 2. Обед("Салат", "Суп", X) ≠ Обед("Салат", "Суп") Данные выражения также не унифицируются, потому что в первом выражении третий аргумент имеет неопределенное значение X, которое должно быть определено, чтобы оба выражения были эквивалентны. 3. Магазин(1, "Пятерочка", "ул. Земная, 15") ≠ Магазин(Id, "Пятерочка", Addr) Данные выражения тоже не унифицируются, потому что в первом выражении первый аргумент равен 1, тогда как во втором аргументе используется переменная Id. Также во втором выражении третий аргумент - это переменная Addr, в то время как в первом выражении этот аргумент имеет точное значение "ул. Земная, 15". 4. Друг(X, "Петя") ≠ Друг(Y, Z) Данные выражения также не унифицируются, потому что в первом выражении первый аргумент это переменная X, а второй - фиксированное значение "Петя". Во втором выражении первый аргумент это переменная Y, а второй аргумент состоит из переменной Z, которая не существует в первом выражении.