Главная /
Стили и методы программирования /
Унифицируются ли и Как унифицируются следующие выражения: f(X, g(Y), h(Y)) f(h(X), g(g1(X)), Z)
Унифицируются ли и Как унифицируются следующие выражения:
f(X, g(Y), h(Y))
f(h(X), g(g1(X)), Z)
вопрос
Правильный ответ:
не унифицируются
X= h(X), Y=g1(Y), Z=h(Z) Z=h(g1(h(h(...X...)))), x= h(...X...), Y=g1(h(...X...)), где h повторяется бесконечное число раз X= h(X), Y=g1(h(X)), Z=h(g1(h(X)))
по определению не унифицируется, но в некоторых версиях языка
Prolog будет выдано Z=h(g1(h(h(...X...)))), x= h(...X...), Y=g1(h(...X...)), где h повторяется бесконечное число раз Сложность вопроса
61
Сложность курса: Стили и методы программирования
93
Оценить вопрос
Комментарии:
Аноним
Это было сложно
04 авг 2017
Аноним
Экзамен сдан на 4 с минусом. Спасибо сайту
11 май 2017
Другие ответы на вопросы из темы программирование интуит.
- # Можно ли представлять действия, сопоставленные состояниям, как массив функций?
- # Что означает централизация управления?
- # Что мешает внедрению активной памяти?
- # Как хранятся вспомогательные глобальные данные?
- # Унифицируются ли и Как унифицируются следующие выражения: f(F(X), g(Y, h(Y))) F(h(a), g(F(X), Z))