Алгоритм объединения без проверки
-
29-09-2020 - |
Вопрос
Я читал об алгоритме объединения здесь https://en.wikipedia.org / wiki / unification_ (computer_science) #a_unification_algorithm ОтказИ мне интересно о важности возникновения проверки.
Я знаю, что без возникновения может возникнуть неудачный вывод.Но OTOH, алгоритм всегда прекращается без проверки?Если два литерала к унификации не имеют переменных общего, я чувствую, что алгоритм, по крайней мере, всегда расторгнуть правильно?
Решение
сказать, что вы пытались решить $ f (a, g (a))= f (b, b) $ После применения $ f (a, g (a))= f (a, a) $ иВам придется унифицировать $ a= g (a) $ в качестве подпункты.
Не связан с cs.stackexchange