Prácticas de Inteligencia
Artificial (1,5 Aula +
Profesores:
Teodoro Calonge Cano
Belarmino Pulido Junquera
Horarios: Aula
(102), miércoles de
Laboratorio(1L001):
Grupo 1, miércoles de
Grupo
2, viernes de
Grupo
3, viernes de
Tutorías:
Horarios actualizados para Junio y Julio disponibles en http://www.infor.uva.es/~belar/
Contenidos:
1. Introducción al Prolog (PDF)
- Ejemplos: ej1_1.pl
- Ejercicios resueltos: familiares.pl
2. Sintaxis (PDF)
- Práctica 2. Enunciado
- Ejercicios resueltos Práctica 2: horoscopo.pl, densidad_poblacion.pl, campeones.pl
3. Estructuras de Datos y Listas
- Parte 1: Estructuras y Listas
- Parte 2: Prácticas con Listas
4. Estructuras de Control en PROLOG (PDF)
- Ejercicios resueltos práctica 4: fibonacci y factorial
- Ejercicios resueltos práctica 5: borrar_lista1, añadir, borrar_lista2, f, max
5. Entrada y Salida (PDF)
- Práctica 6: Enunciado
- Ejercicios resueltos práctica 6: muestra, ascii, espacios y escribe_cadena
- Práctica 7: Enunciado
-
Algunas soluciones práctica 7: escribe_cadena1, escribe_cadena2,
crear_fichero, leer_fichero, leer_fichero_caracterer_a_caracter
6. Operadores en PROLOG (PDF)(11-1-2006, modificado error en segunda transparencia, pág 2)
- Operadores predefinidos
- Definición de operadores propios
Práctica 8: Enunciado
Una solución inicial a leer_frase(solucion)
Práctica 9: Enunciado
Otra posible solución para leer frase en Práctica 9 (PDF)
7. Ejemplos de programación en PROLOG
Práctica 10: Enunciado
Una parte de la solución Práctica 10 (PDF)(parte_solucion.pl)
Examen de Febrero (ambas soluciones serán consideradas como correctas)
· enunciado corregido con una posible solución (PDF),
· enunciado original con otra posible solución (PDF)
Bibliografía:
- “Programación en PROLOG”, W.F. Cloksin y C.S. Mellish. Ed. Gustavo Pili, SA. 1993.
-
“PROLOG
Programming for Artificial Intelligence”,
-
“The
art of PROLOG”, L. Sterling & E. Shapiro. Ed. MIT Press. 1994.
-
“Prácticas
de Lógica, PROLOG”. F. Llorens Largo y M.J. Castel de Haro.
Depto de Ciencia de
- Transparencias del curso 2004-05 (prácticas 2004-05)