Resultados de la búsqueda a petición "prolog"
Prólogo: ¿Filtrar una lista?
Actualmente estoy trabajando en un proyecto muy corto en Prolog, y me quedé atascado tratando de aplicar un "filtro" que he creado en una lista. Tengo lo que podría llamar el filtro listo, pero no puedo aplicarlo. Sería mejor ...
Hacer explícito el "éxito determinista" de los objetivos de Prolog
La cuestión del éxito determinista de algún objetivo de Prolog ha aparecido una y otra vez, al menos, en las siguientes preguntas: Reificación del término igualdad / ...
Principiante de Prolog: Cómo hacer valores únicos para cada Variable en un predicado
Tengo un predicado prólogo: Add( [A|B] , Answer ) :- ... ~ Add everything in the list to come up with answer ...Ahora me gustaría implementarAddUnique eso devolvería valores únicos para todo en la listaexceptocuando le doy la variable dos ...
¿Cuáles son los usos del predicado de falla en Prolog?
No puedo pensar en una situación en la que lo necesite.
Método de relleno interminable, bucle infinito que devuelve respuesta pero no sale
Así que estoy trabajando en algún prólogo y me he encontrado con un problema que no entiendo por qué aparece. El problema realmente ocurre en algunos de mis métodos, pero espero poder resolverlo con solo algunas pautas en este ...
¿Cómo agrego 3 listas de manera eficiente en Prolog?
Sé cómo hacerlo para 2 listas: append([],L,L). append([H|T],L,[H|R]):-append(T,L,R).pero como hacerlo por 3? Sin usar el agregar para 2 listas dos veces.
Hacer un predicado reversible
Soy nuevo en prolog; Vengo de un fondo de programación estructurado, como será obvio :) Estoy creando una consulta de prólogo que implica invertir un número; p.ej.reverse_num(123,X) resultados enX = 321. Se me ocurrió la siguiente definición, ...
Subconjuntos en Prolog
Estoy buscando un predicado que funcione así: ?- subset([1,2,3], X). X = [] ; X = [1] ; X = [2] ; X = [3] ; X = [1, 2] ; X = [1, 2, 3] ; X = [2, 3] ; ...He visto algunossubset implementaciones, pero todas funcionan cuando desea verificar si una ...
¿Más determinismo para `memberd / 2`?
Muchos sistemas proporcionan una implementación pura y eficiente demember/2. En particular, no se deja abierto ningún punto de elección para: ?- member(b,[a,b]). true.mientras que una implementación ingenua demember/2 produce más bien: ?- ...
¿Cómo verificar qué elementos de la lista cumplen ciertas condiciones?
¿Cómo hacer una función llamada busLineLonger, que recibe al menos dos parámetros para decidir si una línea de bus es más larga o no? */This is how it works*/ * busStops(number_of_the_bus,number_of_stops)*/ ...