Programa de Prolog para enumerar todas las posibles soluciones en un conjunto contable.
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