Cursos‎ > ‎Cursadas Anteriores‎ > ‎2010‎ > ‎Jueves Mañana‎ > ‎Lógico‎ > ‎

Clase 2

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

Subpáginas (1): Resumen de la clase
Comments