Как я могу реализовать алгоритм объединения на таком языке, как Java или C #?

Я работаю над учебником по искусственному интеллекту, который у меня есть, и я пришел к последней задаче домашнего задания для своего раздела: «Реализуйте Алгоритм унификации, описанный на странице 69, на любом языке по вашему выбору». На ...

Объединение высшего порядка

Я работаю над средством доказательства теорем более высокого порядка, объединение которого представляется наиболее сложной подзадачей.Если ХуетАлгоритм по-пр...

Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?

Я пытаюсь создать свою собственную реализацию WAM, и я застрял вупражнение 2.4Я не могу понять, как выполнить инструкцию

Объединение высшего порядка

Я работаю над средством доказательства теорем более высокого порядка, объединение которого, похоже, является самой сложной подзадачей. Если алгоритм Уэта все еще считается современным, есть ли у кого-нибудь ссылки на его объяснения, написанные ...

Тип переменной, которая будет объединена, встречается в типе

Как я могу реализовать алгоритм объединения на таком языке, как Java или C #?

Шаблон сопоставления эквивалентных переменных в Haskell, как в Prolog

В прологе мы можем сделать что-то вроде следующего: