unification

5El calor

2Respuesta

Eliminación de todos los miembros de una lista sin unificación en Prolog

Duplicar posibles: Prolog delete: doesn't delete all elements that unify with Element En Prolog si se escribe esto: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). el resultado será: L = [ (1, 2), (3, 4)

45El calor

4Respuesta

Unificación de orden superior

Estoy trabajando en un comprobador de teoremas de orden superior, cuya unificación parece ser el subproblema más difícil. Si el algoritmo de Huet todavía se considera de última generación, ¿alguien ti

21El calor

4Respuesta

Diferencias entre la coincidencia de patrones y la unificación?

Creí entender cómo la coincidencia de patrones como la encontrada en Scala y Haskell es diferente de la unificación encontrada en Prolog, pero mis malentendidos sobre Prolog son geniales. ¿Qué problem

6El calor

3Respuesta

Ejemplo del mundo real de la unificación en la lógica de primer orden?

Sé que esto es solo parte de una pregunta de programación, pero por el momento, estoy haciendo un poco de programación lógica. Una cosa que todavía no entiendo correctamente es la unificación en la ló

5El calor

1Respuesta

Variable de tipo de instancia en Haskell

EDIT: Solucionado. No estaba al tanto de que habilitar una extensión de idioma en el archivo fuente no permitía la extensión de idioma en GHCi. La solución fue :set FlexibleContexts en GHCi. Recientem

8El calor

3Respuesta

coincidencia de patrones variables de equivalentes en Haskell, como en Prolog

En Prolog, podemos hacer algo como lo siguiente: myFunction a (a:xs) = ... Esto es, cuando la primera discusión de myFunction es el mismo que el primer elemento de la lista eso está en el segundo ar

12El calor

1Respuesta

Algoritmo de Hindley-Milner: uso de tipos para garantizar que se apliquen enlaces

Estoy implementando el algoritmo de inferencia de tipo Hindley-Milner, siguiendo los tutoriales de Mark Jones y Oleg Kiselyov. Ambos tienen una operación de "aplicar fijaciones" con un tipo más o meno

5El calor

2Respuesta

¿Por qué SWI-Prolog unifica una cadena entre comillas y sin comillas (sin espacios) para la misma regla?

Supongamos que tengo las siguientes reglas: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). Y luego lo

11El calor

1Respuesta

Prolog es vs = con listas

¿Por qué esto falla L is [1,2,3,4], y esto funciona: L = [1,2,3]? Pero L is 1 y L = 1 funcionan igual.

7El calor

2Respuesta

GHC rechaza el código de mónada de ST como incapaz de unificar variables de tipo?

me escribió la siguiente función: (.>=.) :: Num a => STRef s a -> a -> Bool r .>=. x = runST $ do v <- readSTRef r return $ v >= x pero cuando intenté compilar me dieron el siguiente error: Could