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 generada bajo unalicencia 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 aCreative 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 con todos sus elementos iguales 1.15.Paridad de la longitud de una lista . . 1.16. Rotación de un elemento . . . . . . . . 1.17. Subconjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 9 9 10 10 11 12 13 14 14 15 15 16 16 17 17 17 18 18 21 21 21 22 22 23 23 24 24 24 25 25 26 26 27

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 . . . . . . . . . . ....