Ejercicios de Prolog

Ejercicios de programación declarativa con
Prolog
José A. Alonso Jiménez

Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 1 de Enero de 2006 (Versión de 7 de noviembre de 2006)

2
Esta obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spain de Creative Commons.

Se permite:
copiar,distribuir y comunicar públicamente la obra
hacer obras derivadas
Bajo las condiciones siguientes:
Reconocimiento. Debe reconocer los créditos de la obra de la manera especificada
por el autor.
No comercial. No puede utilizar esta obra para fines comerciales.
Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera una
obra derivada, sólo puede distribuir la obra generadabajo una licencia idéntica a
ésta.
Al reutilizar o distribuir la obra, tiene que dejar bien claro los términos de la licencia
de esta obra.
Alguna de estas condiciones puede no aplicarse si se obtiene el permiso del titular
de los derechos de autor.

Esto es un resumen de la licencia completa. Para ver una copia de esta licencia, visite
ØØÔ »»
Ö Ø Ú
ÓÑÑÓÒ׺ÓÖ »Ð
Ò× ×» ݹÒ
¹× »¾º » ×»o envie una carta a
Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.

Índice general
Introducción
1. Operaciones con listas
1.1. Primer elemento . . . . . . . . . . . . .
1.2. Resto de una lista . . . . . . . . . . . .
1.3. Construcción de listas . . . . . . . . .
1.4. Relación de pertenencia . . . . . . . .
1.5. Concatenación de listas . . . . . . . . .
1.6.Lista inversa . . . . . . . . . . . . . . .
1.7. Palíndromo . . . . . . . . . . . . . . .
1.8. Último elemento . . . . . . . . . . . . .
1.9. Penúltimo elemento . . . . . . . . . . .
1.10. Selección de un elemento . . . . . . . .
1.11. Inserción de un elemento en una lista
1.12. Sublista . . . . . . . . . . . . . . . . . .
1.13. Permutación . . . . . . . . . . . . . . .
1.14. Lista contodos sus elementos iguales
1.15. Paridad de la longitud de una lista . .
1.16. Rotación de un elemento . . . . . . . .
1.17. Subconjunto . . . . . . . . . . . . . . .

6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

2. Aritmética
2.1. Máximo de dos números . . . . . . . . . .
2.2. Factorial . . . . . . . . . . . . . . . . . . .
2.3.Sucesión de Fibonacci . . . . . . . . . . . .
2.4. Máximo común divisor . . . . . . . . . . .
2.5. Longitud de una lista . . . . . . . . . . . .
2.6. Lista de números acotada por su longitud
2.7. Máximo de una lista de números . . . . .
2.8. Suma de los elementos de una lista . . . .
2.9. Lista de números ordenada . . . . . . . .
2.10. Suma parcial de una lista . . . . . . . . . .
2.11.Lista de Æ veces el número Æ . . . . . . . .
2.12. Generación de lista de números . . . . . .
2.13. Intervalo entero . . . . . . . . . . . . . . .
2.14. K–ésimo elemento . . . . . . . . . . . . . .
3

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
....