-
Period: to
Programación declarativa
Lenguaje de programación basado más en las matemáticas y en la lógica que los lenguajes imperativos, más cercanos estos al razonamiento humano. Los lenguajes declarativos no dicen cómo hacer una cosa, sino, más bien, qué cosa hacer. A diferencia de los imperativos, no suele haber declaración de variables ni tipos. -
Lambda cálculo (Alonzo Church)
La lógica moderna empezó con Gottlob Frege a finales de 1870. Medio siglo más tarde dos aspectos del trabajo de Frege alcanzaron su punto culminante: La deducción natural de Grentzen, que capturó una noción de prueba y el Lambda Cálculo de Alonzo Church, que capturó la noción de programa. Ambos se publicaron a principios de 1930. -
Lisp (John McCarthy).
Lisp usó la palabra clave lambda para definir funciones pero su definición de una función difiere sutilmente de la que da el lambda cálculo.
Algunos de los lenguajes que se inspiraron en el lambda cálculo son: Iswin,Scheme (un dialecto de Lisp), Miranda, Haskell... -
Era de las Computadoras Centrales
Proceso por Datos. Lote de procesamiento de datos.
Contabilidad
Automatizado
Cinta magnética
Archivo piano -
Period: to
Sistemas Basados en Datos
Reglas estríctas en código, procedimientos almacenados y triggers. -
Prolog (Colmerauer)
A principio de Julio del 70, Robert Pasero y Philippe llegaron a Montreal. Ellos fueron invitados por Alain que dirigía el proyecto de traducción automática de la Universidad de Montreal.
Durante sus estancias en Montreal, Robert y Philippe se familiarizaron con el procesamiento del lenguaje natural. Ellos escribieron varios analizadores de contexto libre no deterministas en Algol 60 y un generador de parafrases francés usando A- System, el lenguaje de programación que Alain había desarrollado. -
Revolución de la PC
Gestión de los sistemas de información. procesamientp de transacciones en línea.
reportes.
redes.
bases de datos relacional
Cliente / Servidor
Sistemas Expertors -
Haskell.
Haskell es un lenguaje de programación moderno, estándar, no estricto, puramente funcional. Posee todas las características explicadas anteriormente, incluyendo polimorfismo de tipos, evaluación perezosa y funciones de alt
o orden. También es un tipo de sistema que soporta una forma sistemática de sobrecarga y un sistema modular.
Está específicamente diseñado para manejar un ancho rango de aplicaciones, tanto numéricas como simbólicas. Para este fin, Haskell tiene una sintaxis expresiva. -
World Wide Web
Tecnología de información. Procesamiento analítico en línea.
Analizar Almacenamiento
Apoyo de decisiones.
Extracción
Gestión del conocimiento
Motor de reglas de negocio -
Period: to
Sistemas Basados en Conocimientos
Reglas más complejas y alcances más profundos. -
PDA Inteligente inalámbrico
Tenología inteligente procesamiento de decisión en línea.
Toma de decisiones Consejos. Cumplimiento
Recomendación
Calendarización
Optimización
Diagnóstico
Solucción de problemas
Inteligencia artificial
Sistema de toma de decisiones en tiempo real.
Sistemas de gestión de reglas de negocio.
