1. Rober Kowalski
   1. Algoritmo = Lógica + Control
      1. Lógica
         1. Especificación del problema
            1. Cálculo de predicados de primer orden.
            2. Programación Lógica
            3. Cálculo λ
            4. Programación Funcional
      2. Control
         1. Busqueda de la solución.
2. SByte
   1. tipos de datos con variables
      1. sbyte x = 10, y = 20;
      2. sbytevalue1
3. Programación Declarativa
   1. El programador especifica que debe computarse
      1. tipos de datos con variables
         1. sbyte x = 10, y = 20;
         2. sbytevalue1
      2. Byte
         1. int16
            1. tipos de datos con varisables
            2. Un programa es una sucesión dedefiniciones
            3. tipos de datos con variables
            4. sbyte x = 10, y = 20;
            5. sbytevalue1
         2. La principal estructura de control es recursión
         3. No existen ciclos ni operación de asignación
         4. El programa especifica que se debe calcular.
         5. El como (resolver es irrelevante
      3. Aspectos importantes
         1. La prog. declarativa no depende del lenguaje en particular
         2. Un programa declarativo es por lo general mas corto y legible.
         3. Los programas son elegantes matematicamente. Lo cual implica que es fácil verificar si cumple su especificación.
   2. Programación Lógica
      1. Se basa en fragmentos de la lógica de predicados, ó lógica de primer orden.
         1. Los programas constan de definición de predicados
         2. En lugar de programar una funcion de N argu- mentos, se programa un predicado de N+1 argumentos.
         3. Los fundamentos de programación lógica se sirven basicamente de la lógica de primer orden.
   3. Programación funcional
      1. Se basa en el concepto de función matemática y su definición mediante ecuaciones (generalmente) recursivas que constituyen al programa.