Упражнение



Упражнение

2. 10. Что будет, если пролог-системе задать такой вопрос:

        ?-   Х  =  f( X).

Успешным или неуспешным будет здесь сопоставление? По определению унификации в логике, сопоставление должно быть неуспешным, а что будет в соответствии с нашим определением сопоставления из раздела 2.2? Попробуйте объяснить, почему многие реализации Пролога отвечают на вышеприведенный вопрос так:

        X  =   f(f(f(f(f(f(f(f(f(f(f(f(f(f(f( ...

Посмотреть ответ



- Начало - - Назад - - Вперед -


Книжный магазин