Resultados de la búsqueda a petición "clpfd"
mplementación más rápida de aritmética verbal en Prolog
Ya hice un trabajo generalizado aritmética verbal [http://en.wikipedia.org/wiki/Verbal_arithmetic] Solver en Prolog pero es demasiado lento. Se necesitan 8 minutos para ejecutar la expresión simple S E N D + M O R E = M O N E Y. ¿Alguien puede ...
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 ...
Predicado nth1 simple en Prolog
Con SWI Prolog, hay un predicado que encuentra el enésimo elemento en una lista llamada nth1. Quiero implementar mi propia versión del predicado, pero SWI es tan complicado si nos fijamos en el código de listado (nth1). ¿Hay una manera más simple ...
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 ...
¿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...
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, ...
Prólogo; intenta hacer fibonacci más efectivo?
Esta programación lógica realmente está haciendo bailar en mis habilidades de programación imperativas. Esto es tarea, así que por favor no me dejes la respuesta. Esto es lo que tengo: fibo(N,1) :- N < 2, !. fibo(N,R) :- N1 is N-1, N2 is N-2, ...
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...
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):- ...