Resultados de la búsqueda a petición "prolog"
Prolog cuenta el número de veces que un predicado es verdadero
Quiero contar la cantidad de veces que un predicado personalizado es verdadero. Por ejemplo, tengo el siguiente código: is_man(john). is_man(alex). ?:-is_man(X).X devolverá a john, luego, si presiono punto y coma, también devolverá alex, luego ...
Número natural en SWI-prolog y procedimiento recursivo
Tengo el siguiente procedimiento para el número natural es SWI-prolog: natural_number(0). natural_number(s(X)) :- natural_number(X). Ahora quiero hacer una llamada recursiva, que se detiene cuando llegamos a 0. Mi número natural está ...
Simple Prolog eliminar de la lista
(Esta NO es una pregunta de curso. Solo mi propio aprendizaje personal). Estoy tratando de hacer un ejercicio en Prolog para eliminar elementos de una lista. Aquí está mi código: deleteall([],X,[]). deleteall([H|T],X,Result) :- H==X, ...
Procedimiento de mapa de Prolog que aplica el predicado a los elementos de la lista
¿Cómo se escribe un procedimiento Prologmap(List, PredName, Result) que aplica el predicadoPredName(Arg, Res) a los elementos deList, y devuelve el resultado en la listaResult? Por ejemplo test(N,R) :- R is N*N. ?- map([3,5,-2], test, L). L = ...
Lista de relleno en SWI-Prolog
Estoy tratando de completar una lista de la longitud N dada con los números 1,2,3, ..., N. Pensé que esto podría hacerse de esta manera: create_list(N,L) :- length(L,N), forall(between(1,N,X), nth1(X,L,X)). Sin embargo, esto no parece ...
Cómo crear una lista de números que se suman a un número específico
Necesito ayuda para escribir un predicado en Prolog que, dado un número como entrada, devuelve una lista de listas con números que se suman. Llamemos al predicado addUpList / 2, debería funcionar así: ?- addUpList(3,P). P = [[1,2], [2,1], ...
¿Qué tan concurrente es Prolog?
No puedo encontrar ninguna información sobre esto en línea ... También soy nuevo en Prolog ... Me parece que Prolog podría ser muy concurrente, quizás probando muchas posibilidades a la vez cuando intente hacer coincidir una regla. ¿Son ...
Capas de compatibilidad de Prolog - bibliotecas de programación disponibles
Faltan algunos predicados en una implementación de Prolog, que están disponibles en otras. Podemos implementar predicados que faltan, llamemos a esto "Capa de compatibilidad de Prolog". ¿Conoce "Capas de compatibilidad de Prolog" para Prolog ...
prolog al convertidor de SQL
Sin pensarlo demasiado, me parece que un gran conjunto de funcionalidades de Prolog podría implementarse como cálculo relacional (también conocido como SQL). Alguien ha oído hablar de alguna herramienta para convertir automáticamente Prolog a SQL?
Prolog: cómo hacer "comprobar (a ++ b ++ c ++ d es igual a d ++ a ++ c ++ b) -> sí"
Definamos operadores personalizados: déjelo ser++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).Y hecho: check(A equals A). Intento hacer un predicado, déjalo sercheck/1, eso volverá verdadero en todas las siguientes situaciones: check( ...