GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

o Concepto de resolución: árboles de búsqueda y demostración
o Programación lógica en PROLOG
o Resolución SLD: corrección y completud
o El corte, estructura básica de control: cortes rojos y verdes
o La negación
o No determinismo en PROLOG
o Programación recursiva
o Estructuras de datos incompletas
o Relación con el análisis sintáctico: DCGs
o Predicados del sistema
o Predicados metalógicos
o Predicados extralógicos
o Programas inteligentes en PROLOG: asserta y retract
o Los operadores en PROLOG
2. Progamación funcional: lenguaje CAML
o Introducción a la programación funcional: características e historia de los
lenguajes funcionales
o Fundamentos del lenguaje CAML
o Valores, expresiones y definiciones
o Tipos de datos
o Definiciones locales
o Construcciones lógicas
o Definiciones múltiples y con patrones ("pattern matching")
o Funciones como valores: representación, definición y aplicación de
funciones
o Definiciones recursivas
o Polimorfismo
o Funciones de orden superior
o Listas
o Operaciones de entrada/salida
o Definicion de tipos de datos: tipos suma y producto
o Manejo de excepciones
o Programación imperativa en CAML
o Programación modular en CAML
126