10
votos
Aceptado
Sobre un árbol de resolución en Prolog
Vamos a exponer el árbol de resolución de forma parecida al del ejemplo que mencionas. Para ello denominaremos R1, R2 y H1 a las dos reglas y al hecho dados respectivamente como base del conocimiento:
...
3
votos
Aceptado
Buscar varios elementos en una lista de Prolog
Esto se debe a que no estás definiendo una condición de parada para la recursividad, y al recorrer toda la lista de elementos cuando se encuesta por la lista vacía, entonces esta no es miembro de la ...
3
votos
¿Qué significan las "," en prolog?
Simplemente las comas (,) significan conjunciones lógicas. Por ejemplo,
c(X,Y):- p(X),q(Y).
puede reescribirse lógicamente como p(X) ∧ q(Y) ⇒ c(X,Y). También los ; son disyunciones lógicas, es decir ...
3
votos
Aceptado
Lista con 10 primeros números primos
Pues parece ser que, como en tantas otras cosas en la vida, cuando se hablan de los problemas, o poner voz a los problemas de uno, ayuda a encontrar las soluciones. Y eso me ha pasado.
Mi aproximacion ...
2
votos
Aceptado
Duda con variables y recursión
Es porque como seguramente te lo dice tu error, las variables no están lo suficientemente instanciadas.
p(Y):- q(Y), p(Y).
¿La variable Y que es? Para darle un rango de valores posibles podemos usar ...
2
votos
Aceptado
Prolog: findall pero para guardar solo algunas corridas
El problema seguramente sea que tu definición de generate_color/1 no deje más alternativas. Es decir que cada vez que la llamas obtienes un único valor.
findnsols/4 es similar a findall/3 pero ...
2
votos
Aceptado
¿Cómo insertar un elemento en la mitad de una lista Prolog?
Para insertar en la mitad de una lista podes recorrer la lista a dos "velocidades": una avanzando de a un elemento y la otra avanzando de a dos elementos a la vez.
De esta manera cuando ...
2
votos
Aceptado
Detalle en implementación de código Prolog
Para que cuando la lista sea de largo impar el elemento "impar" quede en la primer lista debes cambiar la restricción de los largos de ambas listas para que la primera sea una unidad más que ...
2
votos
Aceptado
¿Qué significan las "," en prolog?
Cuando en el cuerpo de la regla (es decir después del :-) encuentras coma, cada cosa separada por comas es una condición adicional que se debe de cumplir.
Por ejemplo en tu caso poniendo identado tu ...
1
voto
Mejorar el paso de condicionales a Prolog
Hice el siguiente codigo en swi-prolog que podria ayudarte a empezar.
es_libro(no,_,_,si).
es_libro(_,no,_,si).
es_libro(_,_,_,no):-!.
lee_condiciones(Pelota,Mando,Arco):-
write('es pelota de ...
1
voto
Aceptado
relacionar listas en prolog
El problema está en estas líneas:
Solution=[[_,_],[_,_],[_,_],[_,_],1],
[[_,_],[_,_],[_,_],[_,_],[_,_],[_,_],2],
[[_,_],[_,_],[_,_],[_,_],[_,_],[_,_],3],
Si te fijas la unificación ...
1
voto
Aceptado
detectar duplicados consecutivos en una lista
Puedes usar append/3:
consecutive_duplicates(X,L):-
append(_, [X, X|_], L).
Sin embargo esta solución aún puede incluir repetidos si aparece más de una vez el mismo número duplicado:
?- ...
1
voto
¿Cómo instalo un nuevo paquete en swi prolog?
primeramente busqué el paquete usando el comando desde la consola interactiva
pack_list('regex').
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
p [email protected] - ...
1
voto
Aceptado
concatenar y sumar en prolog
El problema es que exiges que D >= 11 y D < 11 al mismo tiempo, y por lo tanto nunca se satisfará el predicado. Utiliza un condicional (If -> Then ; Else) para comprobar el valor de D:
...
1
voto
Mostrar un dialogo de alerta en Prolog con XPCE
Si bien no te sé explicar a que se debe el error de precedencia, la forma correcta de mostrar una ventana con un mensaje es en vez de usar new y dentro un label, usar un send y dentro un label.
...
1
voto
Aceptado
comparacion de 2 predicados Prolog
En Prolog, los predicados (=)/2 y (\=)/2 representan respectivamente la unificación y la negación de la misma.
El estándar define un orden entre términos, que puedes comprobar mediante los siguientes ...
1
voto
como preguntar por una lista en prolog
Creo que podrías estructurar de otra forma tu base de conocimiento, por ejemplo:
lists(green_day, [rock, punk]).
de esa forma podrías consultar de la siguiente manera:
es(X,Y):-
lists(X, List), ...
1
voto
¿Cómo obtener los hechos en prolog?
El estándar ISO Prolog define el predicado incorporado findall/3 para buscar todas las respuestas de un objetivo de forma determinista. findall(Template, Goal, Instances) es verdad si y solo si ...
1
voto
Aceptado
Visualizar el contenido de la base de conocimiento de PROLOG
En base a lo que definiste en el predicado mostrar, podrías usar findall para obtener la información de vuelos. Por ejemplo:
mostrar:-
findall([Origen, Destino, Distancia], vuelo(Origen, Destino, ...
1
voto
Aceptado
Hallar el valor máximo y mínimo una base de conocimiento en PROLOG
Primero debes definir un predicado que encuentre el mayor elemento de una lista de tuplas, siendo el segundo elemento el que utilizaremos para comparar. El mayor elemento de una lista con un sólo ...
1
voto
Contar cuantas veces se repite un nodo en prolog
Puedes utilizar findall/3 para encontrar todas las repeticiones de, lo que tu llamas nodos, y crear una lista con ellos. Después sólo contar la cantidad de elementos de esa lista. Por ejemplo:
...
1
voto
Introducir en prolog nuevos hechos mediante asserta
Pongo un ejemplo de lo que hice en mi programa, por si a alguien le ocurre la misma duda, sepa cómo resolverla y tenga un ejemplo en el que basarse.
relacionDesconocidos(Persona1, Persona2):- asserta(...
1
voto
Buscar elementos de una lista en otra prolog
Si no entendí mal, el predicado eliminar/2 elimina cada elemento de la lista A de la lista L. Para esto puedes utilizar el predicado subtract/3 con la forma:
subtract(L, A, L2).
Por ejemplo:
?- ...
1
voto
Aceptado
¿Dividir en dos una lista a partir de un punto o caracter - Prolog?
Si la cabeza de la lista unifica con el elemento buscado, se devuelve como lista izquierda la lista vacía, y como lista derecha el resto de la lista (la cola):
split([H|T],H,[],T).
Finalmente, se ...
1
voto
Aceptado
¿Crear predicado utilizando operador :-op?
La directiva op/3 te permite declarar átomos que serán tratados sintácticamente como operadores con una determinada clase (infijo, sufijo o prefijo), asociatividad y prioridad.
En tu caso, necesitas ...
1
voto
como transformar una matriz de estructura a una matriz de lista en prolog
Primero debes crear un predicado que convierta una fila en una lista. Para ello, con =../2 puedes ir cogiendo un elemento de la tupla y tratar recursivamente la cola:
row_to_list(X, [X]) :- number(X)....
1
voto
Sumar nodos de un arbol. Prolog
La suma de un árbol vacío es 0:
sumanodos([],0).
En el caso general, se obtienen recursivamente la suma de la rama izquierda y la suma de la rama derecha, y se devuelve la suma de la raíz con ambas ...
1
voto
Aceptado
Hallar lista de nodos de un árbol binario en Prolog
Hay varias formas de recorrer un árbol (ver Recorrido de árboles):
Preorden. Visitar raíz, árbol izquierdo, árbol derecho.
Inorden. Visitar árbol izquierdo, raíz, árbol derecho.
Postorden. Visitar ...
1
voto
Hallar lista de nodos de un árbol binario en Prolog
Teniendo la siguiente funcion auxiliar concatenar para el armado de la lista:
concatenar([],L,L).
concatenar([X|M],L,[X|Z]):-concatenar(M,L,Z).
Caso base: arbol con unicamente la raiz, retorna lista ...
1
voto
Aceptado
Obtener "variables" en Swi Prolog
Algo así,
taxista(Taxista, Pasajero) :-
maneja(Taxista, _),
viveEn(Taxista, Donde), viveEn(Pasajero, Donde).
Es necesario usar una variable auxiliar, Donde, para realizar 'ambos viven en el ...
Only top scored, non community-wiki answers of a minimum length are eligible
Etiquetas relacionadas
prolog × 88swi-prolog × 24
lista × 12
árboles × 10
árboles-binarios × 9
lógica × 7
programación-funcional × 3
php × 2
java × 2
xpce × 2
jpl × 2
mysql × 1
array × 1
visual-studio × 1
java-swing × 1
condiciones × 1
xampp × 1
vscode × 1
insert × 1
macos × 1
split × 1
wamp × 1
odbc × 1
inteligencia-artificial × 1
genericos × 1