Referencias Bibliográficas: [Sebesta, 2012,Webber, 2010,Roy and Haridi, 2004]
Temas
- Representación causal de estructura de datos y algoritmos.
- Unificación.
- Bactracking y busqueda.
- Cuts.
Objetivos de Aprendizaje
- Usa un lenguaje lógico para implementar un algoritmo convencional [Usage]
- Usa un lenguaje lógico para implementar un algoritmo empleando búsqueda implícita usando claúsulas, relaciones, y cortes [Usage]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM