• PROLOG En 1972, Robert Kowalski (universidad de Edimburgo) y Alain Colmerauer y Phillippe Roussell (universidad de Aix-Marseille) expusieron la revolucionaria idea de que la lógica podía emplearse como lenguaje de programación. Siguiendo esta línea, al año siguiente, el grupo de inteligencia artificial de la universidad de Aix - Marseille comenzó a diseñar ese lenguaje, al que se llamó (PROgramation LOGique). PROLOG PROLOG es el prototipo de lenguaje declarativo por excelencia. ¿Y qué es eso de declarativo? Todos los lenguajes que hemos ido viendo hasta ahora son algorítmicos; es decir, los ordenadores se consideran máquinas de Turing a las que debemos indicar todos y cada uno de los pasos a seguir para realizar una cierta tarea. Frente a estos lenguajes imperativos, los declarativos no están basados en órdenes sino en descripciones. Conceptos clave de Prolog : Hechos: Declaraciones que establecen relaciones entre objetos. Por ejemp...
• ADA Quince años después de intentar uniformizar los lenguajes con COBOL, el Departamento de Defensa USA percibió que su objetivo no se había cumplido. Por ese motivo, en 1975 formó un grupo de trabajo para evaluar los lenguajes existentes en aquel entonces y ver si alguno de ellos podía adaptarse a las necesidades del Departamento. ¿Y qué condiciones debía cumplir el lenguaje deseado? En principio, debía permitir el diseño de programas modulares y estructurados, de modo que fuesen fáciles de leer y de depurar. También era necesario que, como debía controlar instrumentos militares de todo tipo, gestionase sin problemas cualquier periférico. Además, tenía que aceptar el trabajo en paralelo, de modo que varios procesos se ejecutaran de forma simultánea o cuasi simultánea. Finalmente, Green fue el lenguaje elegido. Propuesto por Honeywell Bull (Francia), fue diseñado por un equipo encabezado por Jean Ichbiah. En un primer momento, se le dio ...
Comentarios
Publicar un comentario