ATENCI�N: este documento es un borrador NO OFICIAL de la c�tedra de paradigmas. Adem�s se trata de un trabajo en progreso, y no de un trabajo terminado. �selo bajo su propia cuenta y riesgo.

Deber� conocer la fundamentaci�n te�rica en la que se basa el paradigma l�gico, esencialmente el mecanismo de inferencia y los conceptos de l�gica matem�tica utilizados (regla de inferencia por resoluci�n, concepto de programa, consecuencia l�gica, formas clausales, etc). Adem�s de lo anterior, el alumno deber� ser capaz de dise�ar programas de poca complejidad en PROLOG.

La p�gina oficial de la asignatura reside en http://www.frsf.utn.edu.ar/universidad_virtual/catedras/sistemas/paradigmas/index.htm

El desarrollo de la materia procura que el alumno: (falta completar)

1. Comprenda c�mo calcular el valor de verdad de las interpretaciones de una f�rmula.
2. Comprenda cu�ndo una interpretaci�n es un modelo de un conjunto de f�rmulas.
3. Entienda el concepto de aridad de funciones.
4. Sepa construir f�rmulas bien conformadas.
5. Construya unificadores para un par de predicados.
6. Diferencie entre dos unificadores, para saber cu�l es m�s general.
7. Obtenga el unificador m�s general entre dos predicados.
8. Describa el mecanismo de inferencia.
9. Describa la regla de inferencia por resoluci�n
10. Comprenda el modelo de ejecuci�n del int�rprete no determinista.
11. Comprenda el modelo de ejecuci�n del int�rprete de Prolog.
12. Diferencie entre los modos de ejecuci�n del int�rprete no determinista y Prolog para una consulta dada.
13. concepto de programa l�gico ???
14. Sepa correr en papel un programa l�gico con una consulta dada.
15. consecuencia l�gica ???
16. formas clausales ???
17. Comprenda el tratamiento de Prolog como base de datos.
18. Pueda utilizar s�mbolos funcionales en las cl�usulas.
19. Dibuje el �rbol de derivaci�n en l�gica de un programa l�gico. �dem para un programa Prolog.
20. Recorra una lista y cuente elementos de la misma.
21. Recorra una lista y aplique un predicado a cada elemento de la lista.
22. Obtenga la lista de los resultados de una consulta dada.
23. Recorra una lista y se quede con aquellos elementos que satisfacen cierta condici�n.
24. Recorre una lista y busca si cierto elemento est� presente.
25. Recorre recursivamente los nodos de un �rbol para buscar, insertar o eliminar un nodo dado.
26. Comprenda c�mo recorrer un grafo para encontrar un camino entre dos nodos dados.
27. Sepa como transformar una representaci�n de un grafo en otra equivalente bajo ciertas condiciones.
28. Explore las caracter�sticas de generaci�n de soluciones en el caso de permutaciones de elementos.
29. Escriba programas Prolog para manejar matrices bidimensionales.

Unidad 1

Tema principal. Descripci�n de subtemas.

No hay planificado ning�n trabajo pr�ctico sobre el tema de paradigma l�gico.

La evaluaci�n del paradigma l�gico se realizar� mediante un ex�men parcial y un conjunto de minievaluaciones semanales de seguimiento.

La nota final del alumno se compone de las notas de los parciales. Las minievaluaciones deben responderse correctamente en un porcentaje no inferior a PONER_PORCENTAJE sobre el total de los tres paradigmas: objetos, l�gico y funcional

Total de semanas de clases de pr�ctica: 16
Horas de clase por semana: 4
Hay dos clases que no se pueden dictar: 19/08 feriado, 30/09 ex�menes finales.

Fecha 1.^er ex�men parcial: 11 de octubre, 09:00 hs
Fecha 2.^do ex�men parcial: no definido
Fecha de entrega de calificaciones a los alumnos: no definido

Existen tres gu�as de pr�ctica. A los fines de dividir los problemas se proponen las siguientes �reas tem�ticas, con los problemas asociados:

1. L�gica proposicional: 1-01 al 1-04.
2. Unificadores: 1-05 al 1-07.
3. Int�rprete no determin�stico vs. prolog: 1-08.
4. �rbol de b�squeda prolog: 1-09 al 1-12
5. Base de datos y obtener listas de resultados: 2-01, 3-16, 3-18, 3-20.
6. Tratamiento de listas: 2-02, 2-04 al 2-07, 3-03, 3-04, 3-13, 3-14
7. �rboles: 2-03, 3-09 al 3-11
8. Generaci�n de resultados: 3-01, 3-02, 3-12
9. Grafos: 3-05 al 3-08.
10. Problemas de integraci�n: 3-15, 3-17, 3-19

La teor�a requerida tiene la siguiente interpretaci�n:

• t45: transparencia de Programaci�n L�gica p�g. 45
• plyf3: Programaci�n L�gica y Funcional, cap�tulo 3

Cronograma de dictado de Paradigmas de Programaci�n durante el 2003

Semana	Fecha	Actividad	Teor�a requerida
-	19/08/2003	No se dicta clases por feriado.
1	26/08/2003	Pr�ctica objetos. Clase 1. Primera minievaluaci�n objetos
2	02/09/2003	Pr�ctica objetos. Clase 2. Segunda minievaluaci�n objetos.
3	09/09/2003	Pr�ctica objetos. Clase 3. Tercera minievaluaci�n objetos.
4	16/09/2003	Pr�ctica objetos. Clase 4. Cuarta minievaluaci�n objetos.
5	23/09/2003	Pr�ctica objetos. Clase 5. Quinta minievaluaci�n objetos.
-	30/09/2003	No se dicta clases por semana de ex�menes finales.
6	07/10/2003	Clase pr�ctica l�gica 1: l�gica proposicional, unificadores. Primera minievaluaci�n l�gica.	l�gica proposicional:t6 � t20 unificadores: t70 � t83 introducci�n: plyf2
7	14/10/2003	Clase pr�ctica l�gica 2: int�rprete no determin�stico vs. prolog, �rbol de b�squeda prolog. Segunda minievaluaci�n l�gica.	no determin�stico vs prolog: t127 � t135 �rboles SLD: t118 interpretaci�n l�gica: plyf3
8	21/10/2003	Clase pr�ctica l�gica 3: bases de datos y listas de resultados, tratamiento de listas. Tercera minievaluaci�n l�gica.	prolog b�sico: t138 � t153 listas: t154 � t160 cut: t177 � t183 not: t184 � t192 interpretaci�n algor�tmica: plyf4
9	28/10/2003	Clase pr�ctica l�gica 4: �rboles, generaci�n de resultados. Cuarta minievaluaci�n l�gica.	�rboles binarios: t161 � t163 interpretaci�n algor�tmica: plyf4
10	04/11/2003	Clase pr�ctica l�gica 5: grafos, problemas de integraci�n. Quinta minievaluaci�n l�gica.	interpretaci�n algor�tmica: plyf4
11	11/11/2003	Pr�ctica funcional. Clase 1. Primera minievaluaci�n funcional.
12	18/11/2003	Pr�ctica funcional. Clase 2. Segunda minievaluaci�n funcional.
13	25/11/2003	Pr�ctica funcional. Clase 3. Tercera minievaluaci�n funcional.

• TASISTRO, �lvaro; VIDART, Jorge (1986) Programaci�n l�gica y funcional, EBAI.
  Disponible en la web en http://ar.geocities.com/utn_pdp/plyf/ en formato HTML y PDF. Este libro ha sido cedido gentilmente por sus autores para su distribuci�n sin cargo a los estudiantes.

Marcela Vera

C�sar Ballardini

Auxiliares docentes, C�tedra de Paradigmas de Programaci�n.