Resultados de la búsqueda a petición "prolog"
Prolog: encontrar todas las soluciones
El título puede parecer una moneda de diez centavos por docena, pero no lo es. El objetivo de este programa es tomar estas clases (necesidades) needs([[ece2090,1,m,13,16], [ece3520,1,tu,11,14], [ece4420,1,w,13,16]].y emparejarlos con asistentes ...
¿Cuáles son las principales diferencias técnicas entre Prolog y miniKanren, con respecto a la programación lógica? [cerrado]
Cuando quiero leer sobre programación lógica, siempre me encuentro con dos formas "principales" de hacerlo hoy en día: miniKanren, un minilenguaje introducido enEl intrigante razonado [https://mitpress.mit.edu/books/reasoned-schemer]y popular en ...
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 ...
Quiero contar las ocurrencias de un elemento en una lista
Quiero contar las ocurrencias de un elemento en una lista, y si hay uno, entonces el predicado único sería verdadero, de lo contrario, falso. Sin embargo, si el elemento aparece más de una vez, Prolog lo encuentra verdadero. No se que ...
¿Cuál es el significado del operador Prolog '->'
He notado el uso del operador -> en algunos programas de Prolog, pero su significado es desconocido para mí. Este es un ejemplo de su uso: swish_add_user(User, Passwd, Fields) :- phrase("¿Cuál es su uso en esta cláusula? ¿Cuándo debo usar este ...
Ordenar listas grandes en Prolog: no hay suficiente memoria
Estoy tratando de ordenar una lista de elementos de 10k en prolog con bubbleort y obtengo el error de pila local. Mergesort parece ser la mejor opción ya que no recibo ningún error para la misma entrada. Sin embargo, realmente me gustaría obtener ...
Un DB gráfico frente a un Prolog (o miniKanren)
Recientemente he estado buscando en bases de datos de gráficos como Neo4j y en programación lógica en Prolog y miniKanren. Por lo que he aprendido hasta ahora, ambos permiten especificar hechos y relaciones entre ellos, y también consultar el ...
lista de los valores en los nodos hoja del árbol binario T
Lista es la lista de valores en los nodos de hoja de un árbol binario y estoy tratando de descubrir cómo generar exactamente eso. Esto me está dando todos los nodos pero solo necesito las hojas. lea(nil,[]). lea(t(X,L,R),[X|L]) :- lea(L,L1), ...
¡Aprenda Prolog ahora! soluciones de ejercicio
¿Alguien sabe dónde puedo encontrar soluciones a los ejercicios y sesiones prácticas paraAprenda Prolog ahora [http://www.learnprolognow.org/]? Comencé a trabajar en ello y verificaría las respuestas que ideo.
Primera indexación de argumentos
Quiero saber cómo se implementa la indexación inteligente del primer argumento en varias implementaciones de Prolog. En particular, objetivos simples de prueba de tipo comointeger/1 justo después de una cláusula "cuello"podría Contribuir a una ...