-
La programación lógica progresó lentamente, más recientemente, con su integración en las metodologías de orientación a objetos.
-
La Asociación de programación lógica otorga a quince investigadores el título de Fundadores de la programación lógica.
-
Es un lenguaje de programación estandarizado multi-propósito puramente funcional con semánticas no estrictas y fuerte tipificación estática.
-
Da una introducción general a la lógica y a los algoritmos
utilizados en la programación lógica. -
Propuso el paradigma de programación funcional, que es esencialmente programación aplicativa que hace uso de funcionales.
-
En su forma presente puede ser rastreada atrás en debates a finales de los años sesenta y comienzos de los setenta.
-
Es funcional en su estilo y tiene gran conjunto de operadores que permiten la ejecución completamente automática de las iteraciones
-
Es una familia de lenguajes de programación para computadoras con una distintiva y larga historia. Fué inventado por John McCarthy en 1958.
-
Fortran (del inglés Formula Translating System) es un lenguaje
de programación alto nivel. Fué desarrollado en 1954 por John
Backus. -
El nombre "cláusulas Horn" viene de el lógico Alfred Horn, quien fue el primero en señalar el significado de las cláusulas en 1951.
-
El primer lenguaje ensamblador creado fue diseñado
por Maurice Wilkes, en la universidad de Cambridge en 1950. -
Konrad Zuse fue la primera persona en la historia en construir una computadora digital de trabajo
-
Konrad Zuse, ingeniero alemán, diseño y fabricó la Z1, la que para muchos es la primera computadora programable de la historia.
-
Mostró que la teoría natural de números podría ser desarrollada constructivamente con el de definiciones recursivas como las de Peano
-
Algunos de los fundadores son M. Schöfinkel, Haskell Curry y Alonzo Church.
-
Giuseppe Peano demostro que los números naturales podían ser construidos por aplicaciones de la función sucesora.
-
Primer Programadora se le conoce así por su trabajo sobre la máquina calculadora mecánica de uso general de Charles Babbage
