Paradigma Lógico Clase 1: Base de conocimiento - Consultas - Unificación - Reglas - Inversibilidad Clase 2: Indeterminación - not/1 - Generación - member y forall Clase 3: forall/1 - findall/3 - Orden Superior - Listas Paradigma Funcional Clase 2: Introducción Funcional - Función - Variable - Funciones definidas por partes (guardas), Pattern Matching Clase 3: Tuplas, Listas, Modelado de dominio, Inferencia de Tipos, Aplicación Parcial , Currificación ,Composición Clase 4: Data - Aplicación Parcial , Currificación , Composición - Recursividad Clase 5: Data - Aplicación Parcial , Currificación , Composición - Función de orden Superior, Type Class, Polimorfismo Clase 6: Polimorfismo - funciones de orden superior. Variables de tipo - Inferencia de tipo. ausencia de efecto de lado Teórica: Módulo 5. Clase 7: Polimorfismo -Expresiones Lambda. funciones de orden superior + foldl. Inferencia y restricciones de tipo. |
Material >