Tag: AMZI-PROLOG
Me pregunto si es posible definir un predicado dinámico con el mismo nombre y aridad que un predicado incorporado dentro de un módulo. Esperaba que sea suficiente ocultar los predicados incorporados en mi módulo usando delete_import_module/2. Lamentablemente, eso no parece funcionar. Por ejemplo, no puedo crear una cláusula para halt/1 . . . Read more
P) Encuentre todos los segmentos iniciales de la lista dada [1, 3, 6 ,9, 8]. es decir, [], [1], [1,3],[1,3,6] P) Estoy atascado en cómo construir la llamada recursiva a segments, sé que tengo que usar una función append pero no estoy seguro de cómo juntarlo todo, tengo el siguiente . . . Read more
Tengo esto: Lines=[[‘4’],[‘1′,’2′,’3′,’4’],[‘5′,’6′,’7′,’8’],[‘9′, ’10’]] Y quiero: a=[‘4’] b=[[‘1′,’2′,’3′,’4’][‘5′,’6′,’7′,’8′]] Para lograr esto, debo buscar los elementos dentro de Lines que tengan una longitud igual a a=[‘4’]. ¿Alguien puede ayudarme, por favor?
Estoy escribiendo un programa en Prolog que puede realizar aritmética de Peano. Tengo definiciones estándar para los números naturales. nat(n). nat(s(N)) :- nat(N). Porque quiero enumerar todas las posibles relaciones de adición entre números naturales, he definido una función auxiliar (para definir un orden total sobre el conjunto). cmp_n(X, Y, . . . Read more
He realizado un proyecto en Python y Prolog con TKINKTER y PYSWIP. Al crear el ejecutable con “pyinstaller -w –onefile main.py”, me arroja un error porque no está utilizando la biblioteca PYSWIP. ¿Cómo puedo importar este paquete a mi ejecutable? Nota: Pyswip está instalado a través de pip. [1]