Bitácora Lógico


  Clase simulacro:


  Clase  repaso

       

Repaso

    • Base de conocimiento -
    • Consultas -
    • Unificación
    • Reglas
    • Universo Cerrado
    • Inversibilidad
    • Indeterminación
    • not/1
    • Generación
    • Listas
    • Functores
    • forall
    • findall
    • Recursividad
    • Polimorfismo
    • Explosión combinatoria
    • Delegación
Clase 4

Temas desarrollados
  Conceptos 
  • Listas

    Operaciones

  • Length

  • member

  • append

  • Last

  • Reverse

  • nth0

  • sum_list

  • list_to_set

  • max_member

  • subset

  • Functores

  • forall

Clase 3 

Temas desarrollados
  • Apuntes:  Módulo 3 Estructuras de datos. Individuos simples y compuestos. Listas y Functores
  •  Módulo 4  Predicado de orden superior. forall y findall
  • Ejercicios de clase: Ejercicio
Clase 2

Temas desarrollados
  • Apuntes:  Módulo 2 Predicados. Individuos. Consultas. Universo Cerrado.
  • Ejercicios de clase: Ejercicio
Clase 1 

Temas desarrollados
  • Apuntes:  Módulo 1 Predicados. Individuos. Consultas. Universo Cerrado.


Comments