Resultados de la búsqueda a petición "prolog"
¿Por qué Prolog haría coincidir una variable con un resultado que falla si se conecta directamente?
Estoy haciendo un programa Prolog que encuentra un subconjunto de un conjunto de listas. Este subconjunto debe coincidir con algunas condiciones específicas, un aspecto de las cuales es que las listas del subconjunto no pueden ser idénticas. Lo ...
¿Por qué esta consulta de prólogo es verdadera y falsa?
Mi base de conocimiento SWI-Prolog contiene los siguientes dos hechos: f(a,b). f(a,c).Ahora si planteo la consulta ?- f(a,c). true.Pero ?- f(a,b). true ; false.¿Por qué f (a, b) es verdadero y falso? Esto también sucede cuando hay tres hechos ...
Usos declarativos de memberchk / 2
memberchk/2 es un predicado comúnmente definido que se define en términos demember/2 al igual que: memberchk(X, Xs) :- once(member(X, Xs)).Por lo tanto, solo tiene éxito para la primera respuesta demember/2. Su significado procesal completo no ...
Prolog posible eliminación de elementos en una lista
Se me ha pedido que intente buscar todos los resultados posibles, eliminando cualquier número de cualquier elemento individual de una lista. Por ejemplo, si tengo una lista X = [1,2,3] remove(X, Y)Mi resultado será: Y = [2,3] Y = [1,1,3] Y = ...
Prólogo, X antes de Y en una lista
Tengo problemas para comprender el prólogo, tengo que encontrar si X está antes de Y en una lista. entonces tengo un caso base con una lista vacía before(X, Y, [ ]).Ahora sé que quiero verificar el índice de X y el índice de Y en la Lista y ...
Prolog busca la posible combinación para restar 2 elementos de una lista
Este es un problema extendido de esta página.Prolog posible eliminación de elementos en una lista [https://stackoverflow.com/questions/33652059/prolog-possible-removal-of-elements-in-a-list/33652274?noredirect=1#comment55118895_33652274] Por ...
Prolog match vs miniKanren unification
En Prolog - Programación para Inteligencia Artificial, Bratko dice lo siguiente en la página 58. "La coincidencia en Prolog corresponde a lo que se llama unificación en lógica. Sin embargo, evitamos la palabra unificación porque la coincidencia, ...
¿Por qué SWI-Prolog solo me da la primera respuesta?
Soy nuevo en Prolog. Solo intento ejemplos simples para aprender. tengo esto.pl archivo con estas líneas: parent(pam,bob). parent(tom,bob). parent(tom,lio). parent(bob,ann). parent(bob,pat). parent(pat,jim).Después de consultar y probar, solo ...
funcionalidad make / 0 para SICStus
¿Cómo puedo asegurarme de que todos los módulos (e idealmente también todos los demás archivos que se han cargado o incluido) están actualizados? Al emitiruse_module(mymodule), SICStus compara la fecha de modificación del archivomymodule.pl y lo ...
Mostrar los tiempos de ejecución para cada objetivo de una cláusula de predicado
Quiero ver el tiempo de ejecución dentro de los objetivos del predicado con SICStus Prolog. Ejemplo: pred :- goal1, time, goal2, time. go :- call(pred). time_go :- go, times(go). Resultado Esperado: ?- time_go. times_go = 1000ms , ...