Paradigmas de programación: imperativo, lógico y funcional

Paradigmas de programacion

P. Imperativo

P. Declarativo

P. Logico

P. Funcional

P. Imperativo

°Algorítmico

°Uno de los paradigmas mas grandes.

°Describe la programación en estados.

°Serie de sentencias que cambian el estado.

°Ejecutadas según un control de flujo

°Variables son celdas de memoria con datos

°Variables modificables y representadas

Factorial(n:CARDINAL; VAR F: CARDINAL);

BEGINF:=1;WHILE n>0 DOF:=n*F;N:=n-1;END END factorial;

°JAVA

°C++

°BASIC

°De el derivan P. Funcional, programación basada en restricciones.

°Basado en la teoría lógica de primer orden.

°Basado en calculo lambda.

°Cuenta con un alfabeto:

*V={x,y,z,...} (símbolos de variable)

*F={f,g,h,...} (símbolos de constante)

*R={R,S,..}{símbolos de relación <,>.=}

°Trabaja solo con resultados verdaderos y falsos.

°Se especifica que mas no el como.

°Funciones matemáticas que carecen de efectos secundarios.

°Sin estructuras clásicas.

°Variables transparentes entre funciones.

°Programas mas cortos y expresivos.

°Semántica clara, simple y matemática.

°Paralelismo implícito.

%Hechos:

es_español("Manolo").

es_italiano("Marco").

es_colombiano("Marcelo").

%Reglas:

es_europeo(A) :- es_español(A).

es_europeo(A) :- es_italiano(A)..

es_americano(A) :- es_colombiano(A).

es_terricola(A) :- es_europeo(A).

es_terricola(A) :- es_americano(A).

son_del_mimo_continente(A,B) :- es_europeo(A) , es_europeo(B)

son_del_mimo_continente(A,B) :- es_americanoA) , es_americano(B)

Símbolos lógicos

: denominado negación.

∧: denominado conjunción,

V: denominado disyunción,

=>: denominado implicación,

<=>: denominado bicondicional

y los operadores de cuantificación o cuantificadores:

(Una A invertida)(.) (denominado cuantificador universal) y

(Una E en espejo)(.) (denominado cuantificador existencial).

°Estilo de programación que enfatiza la evolución de expresiones, antes que la ejecución de comandos.

°Define un programa cono una función matemática.

°Programa constituido por funciones.

°La entrada del programa es tomada como argumento para generar la salida.

°No existen estructuras de repetición.

°Miranda

°Haskell

°pH

°Sisal

°ML