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