Sei sulla pagina 1di 2

Programación Declarativa Curso 2008-09

I.T. Informática de Gestión - Universidad de Jaén Ejemplos en PROLOG

Ejemplo 2: Cribar los doses y cribar los treses.

Críbense los doses y críbense los treses; es la criba de Eratóstenes, cuando los múltiplos se subliman, son primos los números que quedan. Anónimo

Un número primo es un número que no tiene divisores enteros excepto el 1 y él mismo. Por ejemplo, 5 es primo, pero 15 no lo es porque tiene como divisor el número entero 3. Un método para generar números primos se llama la Criba de Eratóstenes. Este método, para cribar números primos hasta el entero N, funciona de la siguiente manera:

1. Poner todos los números entre 2 y N en la “criba”.

2. Seleccionar y quitar el menor número que quede en la criba.

3. Incluir dicho número en la lista de números primos.

4. Retirar de la criba todos los múltiplos de ese número.

5. Si la criba no está vacía, repetir los pasos 2 al 5.

Para traducir estas reglas a PROLOG, definimos el predicado enteros para generar una lista de enteros, un predicado criba para examinar cada elemento de la criba, y un predicado retirar para crear una nueva criba sin los múltiplos del número seleccionado en la criba. Esta nueva criba se devuelve a criba. El predicado primos es el objetivo de nivel superior, de forma que primos(N, L) instancia L a la lista de primos entre 1 y N, ambos inclusive:

primos(Limite, Ps) :- enteros(2, Limite, Es), criba(Es, Ps).

enteros(Bajo, Alto, [Bajo | Resto]) :- Bajo =< Alto, !, M is Bajo + 1, enteros(M, Alto, Resto). enteros(_, _, [ ]).

criba([ ], [ ]). criba([E | Es],[E | Ps]) :- retirar(E, Es, Nueva), criba(Nueva, Ps).

retirar(P, [ ], [ ]). retirar(P, [E | Es], [E | Nes]) :- not (0 is E mod P), !, retirar(P, Es, Nes). retirar(P, [E | Es], Nes) :- 0 is E mod P, !, retirar(P, Es, Nes).

not (0 is E mod P), !, retirar(P, Es, Nes). retirar(P, [E | Es], Nes) :-

1

not (0 is E mod P), !, retirar(P, Es, Nes). retirar(P, [E | Es], Nes) :-

Continuando con el tema aritmético, he aquí unos programas en PROLOG para la formulación recursiva de los algoritmos de Euclides para encontrar el máximo común divisor y el mínimo común múltiplo de un par de enteros.

El objetivo mcd(I, J, K) se cumple cuando el máximo común divisor de I y J es

K.

El objetivo mcm(I, J, K) se cumple cuando el mínimo común múltiplo de I y J

es K.

mcd(I, 0, I). mcd(I, J, K) :- R is I mod J, mcd(J, R, K).

mcm(I, J, K) :- mcd(I, J, R), K is (I * J)/R.

Obsérvese que, debido a la forma de calcular los restos, estos predicados no son “reversibles”, es decir, las variables I y J deben estar instanciadas para que los predicados funcionen.

es decir, las variables I y J deben estar instanciadas para que los predicados funcionen. –

2

es decir, las variables I y J deben estar instanciadas para que los predicados funcionen. –