Prolog manual o etiquetado personalizado

Actualmente estoy escribiendo un solucionador para un problema de planificación de piso en Prolog y tengo algunos problemas con la parte de etiquetado. El problema actual es que mis restricciones están publicadas, pero cuando inicio el ...

PROLOG Imprime números que terminan en 7 y la suma de sus dígitos es mayor que 100

Necesito hacer un predicado que reciba una lista numérica e imprimir solo los números que terminan en 7 y que la suma de sus dígitos sea mayor que 100 Hice los predicados para separados pero necesito ayuda para hacer una unión de los dos ...

¿Es posible declarar una lista ascendente?

Puedo hacer listas de enteros ascendentes así: ?- findall(L,between(1,5,L),List). Sé que también puedo generar valores usando: ?- length(_,X).Pero no creo que pueda usar esto en un findall, como cosas como el siguiente bucle: ?- ...

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 ...

Comportamiento contra-intuitivo de min_member / 2

min_member(-Min, + Lista) [http://www.swi-prolog.org/pldoc/man?predicate=min_member/2] Es cierto cuando Min es el miembro más pequeño en el orden estándar de términos. Falla si la lista está vacía. ?- min_member(3, [1,2,X]). X = 3.La ...

Prolog - Los argumentos no están suficientemente instanciados

Estoy escribiendo un pequeño programa que cuenta cuántos elementos de una lista no son números. Aquí está mi código: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- ...

Encuentra poderes de 2 en una lista Prolog

Estoy tratando de crear una lista en Prolog (SWI Prolog) y compruebo qué números son potencias de 2 y segundo encuentra cuántas veces hay un número específic...

Clojure core.logic CLP (FD) proyectando variables FD

Estoy trabajando en un algoritmo de empaquetamiento cuadrado ingenuo utilizando la biblioteca CLP (FD) core.logic de Clojure (core.logic versión 0.8.3).Los c...

Relación reversible de la longitud del árbol.

Procesamiento de restricciones de prólogo: cuadrados de embalaje

Estoy tratando de resolver un problema de procesamiento de restricciones en el prólogo.Necesito empacar 4 cuadrados de 5x5,4x4,3x3 y 2x2 en una cuadrícula de...