Resultados de la búsqueda a petición "prolog"
Prolog findall / 3
Digamos que tengo un predato predicado que contiene varios hechos.
Evaluación de expresión aritmética DRY en Prolog
Quería escribir un predicado evaluador en Prolog para aritmética y encontréesta [http://kti.ms.mff.cuni.cz/~bartak/prolog/arithmetics.html]: eval(A+B,CV):-eval(A,AV),eval(B,BV),CV is AV+BV. eval(A-B,CV):-eval(A,AV),eval(B,BV),CV is ...
¿Cómo mantener el primer resultado de una función de Prolog?
Necesito escribir una función personalizada que será llamada muchas veces por otras funciones fijas. En esta función, en el primer momento llamado, devolverá el número total de líneas de un archivo. El segundo tiempo llamado de esta función, ...
Expansión de términos para una lista de términos
Digamos que quiero tener una serie de reglas que sigan el mismo patrón. Me he encontrado con esta situación cuando quiero evitar un comportamiento no determinista enumerando explícitamente todos los primeros argumentos posibles. Sin embargo, sé ...
Prólogo: diferencias entre corte rojo y corte verde
Empecé a aprender el prólogo y quería aclarar todo el tema. He leído que "el corte verde no cambia el significado declarativo del programa, mientras que el corte rojo sí". Pero, el significado del programa no es realmente puramente declarativo ...
Declaraciones condicionales en Prolog
Acabo de comenzar Prolog y me preguntaba si podemos implementar declaraciones condicionales como (if.else) en Prolog también y si es así, ¿cómo? ¿Alguien puede implementar este código en Prolog solo por un ejemplo? if(a==2) print("A is 2"); ...
Leer desde un archivo o transmisión
¿Puedo trabajar con archivos como solía hacerlo en Java? Supongamos que tengo un archivo con 3 líneas de la siguiente manera: This is hello world. This is not hello world. This is a story of a young boy. Ahora, ¿cómo puedo usar estas 3 líneas ...
Acoplar solo un nivel de una lista en Prolog
Estoy trabajando en un problema para aplanar solo un nivel de una lista en Prolog. Por ejemplo,[[1],[2,3]] se convertiría[1,2,3], pero[[1,[2]],3] solo se aplanaría a[1,[2],3]. Revisé algunas otras preguntas en el sitio, pero ninguna respondió ...
Complejidad de predicados ISO Prolog
¿Hay alguna garantía para los límites superiores en la complejidad temporal de los predicados Prolog estándar? Por ejemplo: ¿es cierto quesort(+List, ?SortedList) se ejecuta en tiempo O (nlog (n)) (n es la duración deList) en cualquier sistema ...
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 ...