Página principal de la materia: Programación Estructurada

Programación Lógica

Aviso 1: (02-10-2017, 08:00)
¡Bienvenidos al curso de Programación Lógica!

Aviso 2: (27-10-2017, 16:45:19)
Pueden consultar la solución del examen uno en el área de evaluaciones.

Tarea 1 (2017-12-08) Examen P3_V2:

1. A continuacion, suponiendo que esPadre(X,Y) indica que X es el padre de Y, exprese en lenguaje natural lo que significan las preguntas:
?- esPadre(X,pedro).
?- esPadre(_,pedro).
?- esPadre(X,_).
?- esPadre(_,_).
?- esPadre(_,X).
?- esPadre(X,Y).
?- esPadre(personaQueNoExiste,pedro)

2. Represente, primero en Lógica de Predicados y luego en Prolog, los siguientes hechos:
- Pedro quiere a Maria.
- Pedro quiere a Belen.
- Manuel quiere a Belen.
- Maria quiere a Pedro.
- Todos quieren a Juan y a Maria.
- Todo el mundo se quiere a si mismo.
- Alguien quiere a Juan y a Pedro.
- Alguien quiere a Maria.
- Alguien quiere a todos los demas.

Tarea 2 (21-01-2018) Proyecto Final.
Doc. auxiliar 1

Programas

-->

Programa 01: ¡Hola mundo!

Programa 02: Relaciones familiares Diagrama: Relaciones familiares

Programa 03: Relaciones familiares 2

Programa 04: Relaciones familiares 3

Programa 05: < Factorial (recursivo) Auxiliar: Trazo del programa recursivo

Programa 06: Fibonacci (recursivo)

Programa 07: Potencia (y) de un numero (x) (recursivo)

Programa 08: Suma hasta un número n. (recursivo)

Programa 09: Resta desde un número n. (recursivo)

Programa 10: Examen 1

Programa 11: Ciudades

Programa 12: Figuras Gráfica: Figuras

Programa 13: Animales

Programa 14: Función

Programa 15: Nodos de un camino (Gráfo)

Programa 16: Pertenencia a una Lista

Programa 17: Concatenación de dos Listas

Programa 18: Inversa de una Lista

Programa 19: Insertar elemento en una lista.

Programa 20: Elimina elemento de la lista

Programa 21: Longitud de una Lista

Programa 22: Lista par

Programa 23: Lista impar

Programa 24: El menor elemento de una lista.

Programa 25: El mayor elemento de una lista.

Programa 26: Subconjunto.

Programa 27: Examen 2.

Programa 28: Palindrome.

Programa 29: Permutación de una lista.

Programa 30: Rotar lista.

Programa 31: Suma de los elementos de una lista.

Programa 32: Lista ordenada crecientemente.

Programa 33: Generación de una lista de números (del número n al número m).

Programa 34: Ordenamiento por Burbuja.

Programa 35: Ordenamiento por Quick Sort.

Programa 36: Ordenamiento por Merge Sort.

Programa 37: AFD 1: para 1's pares.

Programa 38: AFD 2

Programa 39: AFD 3

Programa 40: AFD 4

Programa 41: AFD 5

Programa 42: AFND 1

Programa 43: AFND 2

Programa 44: AFND 3

Programa 45: AFND 4

Programa 46: AFND 5

Programa 23: Operaciones aritméticas.

Programa 24: Cubo de un número.

Bibliografía

Textos Básicos:

Prolog: Programming for Artificial Intelligence
Bratko Ivan
Addison Wesley, 2001, 3a Ed.

Introduction to Mathematical Logic
Mendelson Elliott
Chapman & Hall, 1997, 4a Ed.

An introduction to logic programming through Prolog
Spivey Michael
Printence-Hall, 2002.

Logic for Everyone
Hermann Robert A
1996

Textos de Consulta:

Logic, Programming And Prolog
Nilsson Ulf and Maluszyñski Jan
Jhon Wiley & Sons, 2000. 2a Ed.

Programming in Prolog
Clocksin. W. F.; Mellish. C. S
Jhon Wiley & Sons-Verlag, 1994, 4a Ed.

Prolog Programming: A First Course
Brna Paul
2001

Temas de Programación declarativa (2005-06)
Alonso Jiménez José A.; Cordón Franco, Grupo de Lógica Computacional -Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla, 2006.

Evaluaciones

Examen 1: Primer examen parcial (Solución)

Examen 2: Segundo examen parcial (Solución)

Examen 3: Tercer examen parcial (Solución)

Examen 4: Examen Final (Solución)

Avisos	Tareas	Programas	Apuntes	Aplicaciones	Software
Blog	Bibliografía	Asistencias	Evaluaciones	Calificaciones	Temario