Resultados de la búsqueda a petición "clpfd"
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...
¿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: ?- ...
¿Cómo escribir tipo de planificación condicional en Prolog?
Intenté escribir un código de prólogo que pueda entender el programa del estudiante escrito en C #. Ahora estoy estancado en el proceso de reconocer la decla...
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...
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 ...
SWI-Prolog y restricciones, biblioteca CLP (FD)
Estoy jugando con restricciones en (swi) prolog usando la biblioteca clpfd. Estoy tratando de identificar cuándo un conjunto de restricciones encapsula o subsume al otro, p. X <4 encapsula X <7 ya que siempre que lo primero es cierto, lo segundo ...
prolog convierte números en números romanos
Tengo este código que convierte números enteros en números romanos. Necesito agregar una función que compare un número entero con una entrada de números romanos y mostrar si es try o false, por ejemplo: roman (v, 5). ciert toroman(0). ...
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 ...