Resultados de la búsqueda a petición "clpfd"
¿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: ?- ...
onvierta el número de peano s (N) a entero en Prolog
Me encontré con esta evaluación de números lógicos de números lógicos en un tutorial y me ha dado un poco de dolor de cabeza: natural_number(0). natural_number(s(N)) :- natural_number(N).La regla establece aproximadamente que: siN es0 es ...
Programa de prólogo simple. Obteniendo error:> / 2: Los argumentos no están suficientemente instanciados
Hice un predicado PrologposAt(List1,P,List2) que prueba si el elemento en la posiciónP deList1 yList2 son iguales posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1, posAt(X, Kr, Y). Al probar: ?- posAt([1,2,3], X, ...