Resultados de la búsqueda a petición "clpfd"
¿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...
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...
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...
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...
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 ...
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 ...
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 ...