-
Se dan precedentes de la programación lógica y la Lógica matemática en donde intervino la teoría silogística de Aristoteles.
-
Algunos Fundadores de la progrmación imperativa fueron Alonzo Church y Haskell Curry
-
Konrad Zuse crea la que para muchos fue la primera computadora programable.
-
Maurice Wilkes Creo el primer lenguaje ensamblador.
-
Se desarrolla el lenguaje de programación de alto nivel Fortran por John Bacus.
-
Lenguaje creado con el objetivo de clasificar de manera algoritmica de los lenguajes naturales.
-
La programación lógica fue expuesta por Kowalski, la cual en su uso tenían un estilo distinto al de programación tradicional. En esta no existen sentencias ni bucles (while, for y repeat) y tampoco sentencias como if, then ni case. Ni siquiera existían sentencias de asignación
-
Jhon Backus propuso la programación funcional, que es esencialmente programación aplicativa.
-
Esta asociación de programación lógica otorga a quince investigadores el titulo de fundadores de programación lógica
-
La programación lógica progresó lentamente, mas recientemente, con su integración en las metodologías de orientación a objetos.
