Ml

programacion logica y funcional

  • LISP

    LISP
    LISP (1958), creado por John McCarthy et al.;
  • COBOL

    COBOL
    COBOL (1959), creado por el Short Range Committee, altamente influenciado por Grace Hopper.
  • Simula

    Simula
    Inventado en la década de 1960 por Nygaard y Dahl como un superconjunto de Algol 60, fue el primer lenguaje diseñado para apoyar la programación orientada a objetos.
  • Nace C

    Nace C
    A principio un lenguaje de programación sistemas, fue desarrollado por Dennis Ritchie y Ken Thompson en los Laboratorios Bell entre 1969 y 1973.
  • Nace Prolog

    Nace Prolog
    El francés Alain Colmenuer desarrolló el lenguaje "PROLOG" que también permite el desarrollo de aplicaciones en forma declarativa.
  • Que es PROLOG?

    Que es PROLOG?
    es un demostrador automático de problema, el cual utiliza una Base de Conocimientos en forma de reglas de inferencia deductivas (cláusulas de Horn), es decir sus reglas tienen como consecuente una única acción y las inferencias obtenidas son estrictamente lógicas (verdaderas o falsas), aunque puede parecer una limitación, esto no es totalmente justo, ya que PROLOG permite programar mecanismos inferenciales con lógica probabilisticas, dado que se trata de búsquedas en árboles con acumulación de
  • ML

    ML
    construyó un sistema de tipos polimórfico (inventado por Robin Milner en 1973) en el tope de Lisp, pionero en los lenguajes funcionales de programación con tipado estático.
  • Smalltalk

    Smalltalk
    proporcionaron un completo diseño de un lenguaje orientado a objetos.
  • Java

    Java
    diseñado en 1990 por James Gosling y Patrick Naughton, de la empresa Sun Microsystems. El origen del nombre “Java” es bastante curioso, se rumorea que sus creadores discutían sobre cómo llamar al lenguaje mientras tomaban café, y al final les
    gustó el nombre de la marca del café que tomaban, el café “Java”. Su desarrollo se realizó siempre con un concepto en mente: “Write Once, Run Anywhere”. Esto significa que Java se diseñó pensando en que un programa escrito en este lenguaje pudiese ser ejecu