Resultados da pesquisa a pedido "unification"
Como posso implementar o algoritmo de unificação em uma linguagem como Java ou C #?
Estou trabalhando no meu livro de AI que recebi e cheguei ao último problema de lição de casa da minha seção:"Implementar o Algoritmo de Unificação desc...
A variável de tipo a ser unificada ocorre no tipo
Eu tenho uma função para reconstruir uma árvore de 2 listas. Retorno uma lista em todas as ramificações, mas estou recebendo um erro que não entendo. Mas presumo que isso tenha a ver com os tipos de retorno. O erro é este: Can't unify ''a with ...
Unificação de ordem superior
Estou trabalhando em um provador de teoremas de ordem superior, dos quais a unificação parece ser o subproblema mais difícil.Se o algoritmo de Huet ainda é c...
Na Abstract Machine de Warren, como o bind funciona, se um dos argumentos é um registro?
Estou tentando criar minha própria implementação WAM e estou preso emo exercício 2.4 [https://docs.google.com/viewer?url=http%3A%2F%2Fwambook.sourceforge.net%2Fwambook.pdf&a=bi&pagenumber=34] Não consigo entender como executar ...
Variáveis equivalentes de correspondência de padrões em Haskell, como em Prolog
No prólogo, podemos fazer algo como o seguinte: myFunction a (a:xs) = ...Isto é, quando o primeiro argumento demyFunction é o mesmo que o primeiro item da lista que está no segundo argumento, essa função será avaliada como.... Minha pergunta ...