5.31.2.7 Programación lógica (12 horas) [Habilidades a,b,i,j]

Referencias Bibliográficas: [Sebesta, 2012,Webber, 2010,Roy and Haridi, 2004] Temas
  1. Representación causal de estructura de datos y algoritmos.
  2. Unificación.
  3. Bactracking y busqueda.
  4. Cuts.
Objetivos de Aprendizaje
  1. Usa un lenguaje lógico para implementar un algoritmo convencional [Usar]
  2. Usa un lenguaje lógico para implementar un algoritmo empleando búsqueda implícita usando claúsulas, relaciones, y cortes [Usar]



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM