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

Правильный ответ:

• # Обязательно ли завершается за конечное число шагов метод резолюций в случае, если исходное множество дизъюнктов невыполнимо?
• # В программе на Прологе вместо "," можно писать
• # Результат вычисления текущей подцели выводится (в окне трассировки) после:
• # В результате унификации списков [1,2,3,4] и [X,Y|Z] переменные получат следующие значения:
• # Объединением множеств [1,2] и [2,3] будет множество: