Унифицируются ли и Как унифицируются следующие выражения: f(X, - Ответ на вопрос №1280545
Новинка
-37%
Вопрос
Унифицируются ли и Как унифицируются следующие выражения: 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 повторяется бесконечное число раз
Ответ
Этот вопрос в коллекциях
Новинка
-20%
Коллекция: Стили и методы программирования
490 390 руб.
5,0
Рейтинг автора: 4,99 из 5
meimei1337 
Гарантия сдачи без лишних хлопот! ✅🎓 Ответы на тесты по любым дисциплинам, базы вопросов, работы и услуги для Синергии, МЭИ и других вузов – всё уже готово! 🚀 🎯📚 Гарантия качества – или возврат денег! 💰✅
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
