Programación Lógica y Funcional 3 a 4

Equipo 1:

Erick Rafael Ambriz García, Eduardo Vázquez Quintero y Heidi Melissa Reynoso Guerrero

Modelo de Programación Funcional.

2.1 Introducción al modelo de programación funcional.

2.1. El tipo de datos.
2.2. Funciones.
2.3. Intervalos.

Equipo 2:

Marco Antonio Huerta Rincón, Marco Eduardo Reyna Soto y Edgar Antonio Neave Aguilar

2.4. Operadores.
2.5. Aplicaciones de las listas.
2.6. Árboles.
2.7. Evaluación perezosa.

Equipo 3:

Ramos Martínez Pedro Antonio, Hernández García Anwar Oliveer y Ibarra Rodríguez Michel
Elisenda.

Programación lógica.

3.1. Repaso de la lógica de primer orden.

3.2. Unificación y resolución.

Equipo 4:

Rodolfo Reyna Ávila, Carlos Alejandro Soto Rinconada y Luis Ángel Lárraga Segura

3.3. Cláusulas de Horn, resolución SLD.

3.4. Programación lógica con cláusulas de Horn.

Equipo 5:

Martínez Alfaro Guillermo, Garza Rocha José Guadalupe, Limones Molina Lizbeth Damaris

Modelo de programación lógica.

4.1 Introducción al modelo de programación lógica.

4.2. Semántica de los programas lógicos.
4.3. Representación clausada del conocimiento.
Equipo 6:

Portales Rdz Jaqueline, González Villarreal Raúl Emanuel

4.4. Consulta de una base de cláusulas.

4.5. Espacios de búsqueda.
4.6. Programación lógica con números, listas y árboles.

Equipo 7:

Renato Gabriel Romo Gallardo, Edsson Alejandro Gatica Sifuentes

4.7. Control de búsqueda en programas lógicos

4.8. Manipulación de términos.
4.9 Predicados mitológicos.
c

Investigación y presentación
te