Contenidos Teóricos

• Functores. Definición, utilidad. Comparación con el concepto de registro en otros lenguajes.
• Aritmética.
• Unificación y pattern matching.
  
• Variables ligadas y no ligadas.
• Definición de matching.
• Unificación con átomos y con functores,
  
• Uso de patrones para descomponer un valor compuesto.
• Inversibilidad
  

• Agregamos fechas de nacimiento a las relaciones familiares

Material de Lectura

• Valores en lógico
• Resumen de la clase