Catálogo General 2024-2025

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.

Credits

3

Prerequisite

COMP 2501