450 1000

Historia de la programación lógica

  • Period: 384 BCE to 322 BCE

    Inicios de la Lógica

    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.
  • Paradigma imperativo

    Paradigma imperativo
    Algunos Fundadores de la progrmación imperativa fueron Alonzo Church y Haskell Curry
  • Creacion de la Z1

    Creacion de la Z1
    Konrad Zuse crea la que para muchos fue la primera computadora programable.
  • Primer Lenguaje Ensamblador

    Primer Lenguaje Ensamblador
    Maurice Wilkes Creo el primer lenguaje ensamblador.
  • Fortran

    Fortran
    Se desarrolla el lenguaje de programación de alto nivel Fortran por John Bacus.
  • Prolog

    Prolog
    Lenguaje creado con el objetivo de clasificar de manera algoritmica de los lenguajes naturales.
  • Programación Lógica

    Programación Lógica
    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
  • Programación funcional

    Programación funcional
    Jhon Backus propuso la programación funcional, que es esencialmente programación aplicativa.
  • Fundación de programación lógica

    Fundación de programación lógica
    Esta asociación de programación lógica otorga a quince investigadores el titulo de fundadores de programación lógica
  • PROLOG TOTAL

    PROLOG TOTAL
    La programación lógica progresó lentamente, mas recientemente, con su integración en las metodologías de orientación a objetos.