Resultados de la búsqueda a petición "unification"
La variable de tipo a unificar ocurre en tipo
Tengo una función para reconstruir un árbol de 2 listas. Devuelvo una lista de todas las ramas, pero recibo un error que no entiendo. Pero supongo que tiene que ver con los tipos de retorno. El error es este: Can't unify ''a with ''a list (Type ...
En una máquina abstracta de Warren, ¿cómo funciona el enlace, si uno de los argumentos es un registro?
Estoy tratando de crear mi propia implementación de WAM y estoy atascado enel ejercicio 2.4 [https://docs.google.com/viewer?url=http%3A%2F%2Fwambook.sourceforge.net%2Fwambook.pdf&a=bi&pagenumber=34] No puedo entender cómo ejecutar la ...
Variables equivalentes de coincidencia de patrones en Haskell, como en Prolog
En prolog, podemos hacer algo como lo siguiente: myFunction a (a:xs) = ...Esto es, cuando el primer argumento demyFunction es lo mismo que el primer elemento de la lista que está en el segundo argumento, esta función evaluará a.... Mi pregunta ...
Unificación de orden superior.
Estoy trabajando en un generador de teoremas de orden superior, de los cuales la unificación parece ser el subproblema más difícil.Si el algoritmo de Huet to...
¿Cómo puedo implementar el algoritmo de unificación en un lenguaje como Java o C #?
Estoy trabajando en el libro de texto de AI que obtuve y he llegado al último problema de tarea para mi sección:"Implemente el algoritmo de unificación ...