Está en la página 1de 1

Es un Estilo de

programacin

Programacin
lgica

El programador
especifica cmo
realizar los
cmputos

Utilizado como base


para lenguajes de
programacin

Caractersticas

Programacin Semntica
Declarativa

Teora de modelos
Variable lgicos
Datos
especificados

+
Lgica
Significado

Control
Eficiencia

Matemtica
Enraizado como
funcin

Lenguaje funcional
Haskell
Evala

expresiones
de forma diferente.

Empleando
Polimorfismo Rasgos expresivos

Control en
evaluacin
de
expresiones

Ecuaciones

También podría gustarte