Упражнение

2. 10. Что будет, если пролог-системе задать такой вопрос:
        ?-   Х  =  f( X).
Успешным или неуспешным будет здесь сопоставление? По определению унификации в логике, сопоставление должно быть неуспешным, а что будет в соответствии с нашим определением сопоставления из раздела 2.2? Попробуйте объяснить, почему многие реализации Пролога отвечают на вышеприведенный вопрос так:
        X  =   f(f(f(f(f(f(f(f(f(f(f(f(f(f(f( ...
Посмотреть ответ