Preguntas con respuestas sobre "successor-arithmetics"

¿Puede alguien explicarme por qué esta consulta de prólogo funciona de la manera en que lo hace? La definición es: ...

Empiezo a aprender Prolog y primero aprendí sobre la notación sucesora. ...

Sigue recibiendo el error Los argumentos no están suficientemente instanciados para la regla de multiplicación por suma que escribí como se muestra a continuación. ...

Necesito crear un predicado Prolog para potencia de 2, con los números naturales. ...

Estoy leyendo el libro 'el arte del prólogo' y encontré un ejercicio que dice 'Definir la suma de la relación (ListOfIntegers, Sum) que se cumple si Sum es la suma de ListOfIntegers, sin usar ningún predicado auxiliar'. esta solución: ...

Encontré esta evaluación de números naturales de números lógicos en un tutorial y me ha estado dando algunos dolores de cabeza: ...

He estado tratando de aprender Prolog, y estoy totalmente perplejo sobre lo que hace el predicado s (). ...

Tengo este código muy simple como representación de números. El problema es cuando uso la función add2. ...

Estoy tratando de definir la división en el prólogo usando el teorema del resto y el principio de ordenamiento correcto. ...

Tengo las siguientes reglas ...

aquí está el código plus que no entiendo ...

Tengo el siguiente procedimiento para el número natural es SWI-prolog: ...

EDITAR: Resuelto. No sabía que habilitar una extensión de idioma en el archivo de origen no habilitaba la extensión de idioma en GHCi. La solución fue: configurar FlexibleContexts en GHCi. ...

Intento entender cómo funciona la resolución de axiomas en prolog. ...

Estoy desarrollando (en Java), por diversión, una aplicación que usa un algoritmo de unificación. ...