COMP 2550 Programación Lógica y Funcional
Conceptos fundamentales: Átomos, listas expresiones, funciones básicas, operaciones lógicas, recursiones e iteraciones, ventajas y desventajas de la tipificación, ("types"). Lógica cláusula y de predicados de primer orden. Creación de bancos de conocimientos y de acceso. Objetivos ("goals"), procesos de unificación ("binding") y vuelta atrás ("backtracking"). El operador de corte ("cut"). Requiere 30 horas de conferencia y 30 horas de laboratorio cerrado. Además, requiere horas adicionales de laboratorio abierto.