3.14.17 PL/Programación lógica
Temas:
Electivo
- Representación causal de estructura de datos y algoritmos.
- Unificación.
- Bactracking y busqueda.
- Cuts.
Objetivos de Aprendizaje (Learning Outcomes):
Elective:
- Usa un lenguaje lógico para implementar un algoritmo convencional [Usar (Usage)]
- Usa un lenguaje lógico para implementar un algoritmo empleando búsqueda implícita usando claúsulas, relaciones, y cortes [Usar (Usage)]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
