Programación Lógica

Programación Lógica

1. Estilos de Programación

   • Imperativo
   • Funcional
   • Lógico
   • Orientado al Objeto
   • Orientado al Evento
   • Orientado al Formato

2. Evaluación de Expresiones

   • Tipos
     • Aritmeticas
       • Devuelven un valor númerico
     • Lógicas
       • Devuelven True o False
   • Expresión
     • Combinacion de operadores y operandos
       • Se obtiene un valor

3. Definición de Funciones

   • Forma parte del algoritmo principal
   • Da cierto orden al código
   • Propiedades
     • Puede recibir valores
     • Lista de parametros
     • Puede ser invocada
     • Se ejecuta para devolver un valor
     • Nombre unico en el ambito
   • Subalgoritmos
     • Permite resolver una tarea especifica

4. Disciplina de Datos

   • Haskell
     • Sistema de tipos Milner
       • Caracteristicas
         • Disciplina estática de tipos
           • Un programa bien tipado se puede ejecutar sin comprovaciones
         • Polimorfismo
           • Permite que una función se aplique a parametros de distintos tipos

5. Tipos de Datos

   • Númericos
     • Cantidad o valor determinado
       • Tipo entero
       • Tipo real
   • Lógicos
     • Clasificados en
       • Falso
       • Verdadero
   • De cadena
     • Clasificado en
       • Tipo de caracter
       • Tipo de cadena
   • Clasificados en
     • Simples
     • Compuestos