La programacin estructurada significa: Escribir un programa de acuerdo a

las siguientes reglas:

Programa sin GO TO
Cada mdulo se codifica utilizando las tres estructuras de control
bsicas: secuencia, seleccin y repeticin.
El programa tiene un diseo modular.
Los mdulos son diseados de modo descendente.
La programacin estructurada es el conjunto de tcnicas que incorporan:
Diseo descendente (top-down)
Conocido tambin como top-down es el proceso por el cual un problema se
descompone en una serie de niveles o pasos sucesivos de refinamiento.
Recursos abstractos
La programacin estructurada se auxilia de los recursos abstractos en lugar
de los recursos concretos de que dispone un determinado lenguaje de
programacin.
Estructuras bsicas.
Paradigma Funcional: El lenguaje describe procesos, programas como Haskell,
ML
La programacin funcional debe por esto eliminar el concepto de variable excepto
como nombre de un valor. Por lo anterior, se concibi que en la Programacin
Funcional la asignacin no fuera permitida como instruccin.
En programacin funcional pura no existen variables, slo existen constantes,
parmetros y valores, aun cuando en la prctica la mayora de los lenguajes de
programacin funcionales no son puros pues retienen algunas nociones de
variables y asignaciones. Como no hay variables ni asignacin, tampoco existen
los ciclos al estilo de los de los lenguajes tradicionales ya que los mismos trabajan
con una variable de control que se va reasignando (decrementando o
incrementando). Esto se logra en un lenguaje funcional mediante la recursin.
Un programa se considera una funcin matemtica, la cual describe una relacin
entre una entrada y una salida y donde el concepto de estado o variable se elimina
completamente.
Basado en los modelos de cmputo clculo lambda (Lisp, Scheme) y lgica
combinatoria (familia ML, Haskell)
Las funciones son elementos de primer orden, evaluacin por reduccin funcional.
Tcnicas: recursividad, parmetros acumuladores, CPS, Mnadas.

CARACTERISTCAS
Tipado dbil, meta-programacin, concordancia de patrones, transparencia
referencial, evaluacin perezosa (estruct. de datos infinitas)

Paradigma Lgico Prolog

El paradigma lgico Tiene como caracterstica principal la aplicacin de las reglas
de la lgica para inferir conclusiones a partir de datos. Conociendo la informacin
y las condiciones del problema, la ejecucin de un programa consiste en la
bsqueda de un objetivo dentro de las declaraciones realizadas.
Esta forma de tratamiento de la informacin permite pensar la existencia de
programas inteligentes que puedan responder, no por tener en la base de datos
todos los conocimientos, sino por poder inferirlos a travs de la deduccin.
Paradigma Imperativo (o procedural)
C, Pascal
Paradigma Orientado a Objetos
Java, C++, Smalltalk.
POO se ha convertido durante las pasadas dos dcadas en el paradigma de
programacin dominante, y en una herramienta para resolver la llamada crisis del
software
Motivos POO escala muy bien.
Proporciona un modelo de abstraccin que razona con tcnicas que la gente usa
para resolver problemas (metforas) Es ms fcil ensear Smalltalk a nios que
a programadores
Gran desarrollo de herramientas OO (IDEs, libreras,) en todos los dominios.

REFERENCIAS

http://seguridadensistemascomputacionalesp.blogspot.mx/201
1/09/paradigma-logico.html
http://www.taringa.net/post/apuntes-ymonografias/15306704/Paradigma-de-programacionProgramacion-Logica.html
http://www.ecured.cu/index.php/Programaci
%C3%B3n_funcional