Результаты поиска по запросу "unification"
Объединение высшего порядка
Я работаю над средством доказательства теорем более высокого порядка, объединение которого представляется наиболее сложной подзадачей.Если ХуетАлгоритм по-пр...
Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?
Я пытаюсь создать свою собственную реализацию WAM, и я застрял вупражнение 2.4Я не могу понять, как выполнить инструкцию
Шаблон сопоставления эквивалентных переменных в Haskell, как в Prolog
В прологе мы можем сделать что-то вроде следующего:
Как я могу реализовать алгоритм объединения на таком языке, как Java или C #?
Я работаю над учебником по искусственному интеллекту, который у меня есть, и я пришел к последней задаче домашнего задания для своего раздела: «Реализуйте Алгоритм унификации, описанный на странице 69, на любом языке по вашему выбору». На ...
Объединение высшего порядка
Я работаю над средством доказательства теорем более высокого порядка, объединение которого, похоже, является самой сложной подзадачей. Если алгоритм Уэта все еще считается современным, есть ли у кого-нибудь ссылки на его объяснения, написанные ...