SlideShare una empresa de Scribd logo
1 de 7
SU NOMBRE VIENE DE LA “PROGARAMACION LOGICA”, CREADO
AL COMIENZO DE LOS 70. LA POPULARIDAD SE DEBE A DAVID
WARREN QUE A MEDIADOS DE LOS 70 REALIZO
IMPLEMENTACIONES EFICIENTES.

LA HISTORIA DE PROLOG INICIA ASÍ CON SUS CREADORES QUE
FUERON ROBERT KOWALSKI (1970 EN
LA PARTE
TEÓRICA), MAARTEN VAN EMDEN (EN LA DEMOSTRACIÓN
EXPERIMENTAL) DE EDIMBURGO Y ALAINCOLMERAUER DE
MARSELLA (EN LA IMPLEMENTACIÓN). JAPÓN LO INCLUYE EN
SUS PROYECTOS DE ORDENADORES DE 5TA GENERACIÓN. Y
ESTADOS UNIDOS LO INCORPORA EN SUS PROYECTOS.
ES UN LENGUAJE DE PROGRAMACIÓN DE TIPO MULTIPARADIGMA
CREADO EN 1958 POR JOHN MCCARTHY Y POR MIEMBROS
DEL INSTITUTO TECNOLÓGICO DE MASSACHUSETTS.

EL NOMBRE LISP DERIVA DEL "LIST PROCESSING" (PROCESO DE
LISTAS). LAS LISTAS ENCADENADAS SON UNA DE LAS ESTRUCTURAS
DE DATOS IMPORTANTES DEL LISP, Y EL CÓDIGO FUENTE DEL LISP EN
SÍ MISMO ESTÁ COMPUESTO DE LISTAS. COMO RESULTADO, LOS
PROGRAMAS DE LISP PUEDEN MANIPULAR EL CÓDIGO FUENTE COMO
UNA ESTRUCTURA DE DATOS, DANDO LUGAR A LOS MACRO SISTEMAS
QUE PERMITEN A LOS PROGRAMADORES CREAR UNA NUEVA SINTAXIS
DE LENGUAJES DE PROGRAMACIÓN DE DOMINIO ESPECÍFICO
EMPOTRADOS EN EL LISP.
CLIPS ES UNA HERRAMIENTA QUE PROVEE UN ENTORNO
DE DESARROLLO PARA LA PRODUCCIÓN Y EJECUCIÓN
DE SISTEMAS EXPERTOS. FUE CREADO A PARTIR DE
1984, EN EL LYNDON B. JOHNSON SPACE CENTER DE LA
NASA, CONSIDERADA TAMBIEN UN ACRÓNIMO DE C
LANGUAGE INTEGRATED PRODUCTION SYSTEM (SISTEMA
DE PRODUCCIÓN INTEGRADO EN LENGUAJE C). EN LA
ACTUALIDAD,
ENTRE
LOS
PARADIGMAS
DE
PROGRAMACIÓN QUE SOPORTA CLIPS SE ENCUENTRAN
LA
PROGRAMACIÓN
LÓGICA,
LA
PROGRAMACIÓN
IMPERATIVA Y LA PROGRAMACIÓN ORIENTADA A OBJETOS.
Cálculo Proposicional
Cálculo Proposicional

Más contenido relacionado

Similar a Cálculo Proposicional (9)

Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas)Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas)
 
Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas)Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas)
 
Modelos de la comunicacion
Modelos de la comunicacion Modelos de la comunicacion
Modelos de la comunicacion
 
Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas) Modelos de la comunicacion(diapositivas)
Modelos de la comunicacion(diapositivas)
 
Modelos de la comunicacion
Modelos de la comunicacionModelos de la comunicacion
Modelos de la comunicacion
 
Terminado
TerminadoTerminado
Terminado
 
Terminado
TerminadoTerminado
Terminado
 
Terminado
TerminadoTerminado
Terminado
 
Modelos proceso de comunicacion
Modelos proceso de comunicacionModelos proceso de comunicacion
Modelos proceso de comunicacion
 

Cálculo Proposicional

  • 1.
  • 2.
  • 3. SU NOMBRE VIENE DE LA “PROGARAMACION LOGICA”, CREADO AL COMIENZO DE LOS 70. LA POPULARIDAD SE DEBE A DAVID WARREN QUE A MEDIADOS DE LOS 70 REALIZO IMPLEMENTACIONES EFICIENTES. LA HISTORIA DE PROLOG INICIA ASÍ CON SUS CREADORES QUE FUERON ROBERT KOWALSKI (1970 EN LA PARTE TEÓRICA), MAARTEN VAN EMDEN (EN LA DEMOSTRACIÓN EXPERIMENTAL) DE EDIMBURGO Y ALAINCOLMERAUER DE MARSELLA (EN LA IMPLEMENTACIÓN). JAPÓN LO INCLUYE EN SUS PROYECTOS DE ORDENADORES DE 5TA GENERACIÓN. Y ESTADOS UNIDOS LO INCORPORA EN SUS PROYECTOS.
  • 4. ES UN LENGUAJE DE PROGRAMACIÓN DE TIPO MULTIPARADIGMA CREADO EN 1958 POR JOHN MCCARTHY Y POR MIEMBROS DEL INSTITUTO TECNOLÓGICO DE MASSACHUSETTS. EL NOMBRE LISP DERIVA DEL "LIST PROCESSING" (PROCESO DE LISTAS). LAS LISTAS ENCADENADAS SON UNA DE LAS ESTRUCTURAS DE DATOS IMPORTANTES DEL LISP, Y EL CÓDIGO FUENTE DEL LISP EN SÍ MISMO ESTÁ COMPUESTO DE LISTAS. COMO RESULTADO, LOS PROGRAMAS DE LISP PUEDEN MANIPULAR EL CÓDIGO FUENTE COMO UNA ESTRUCTURA DE DATOS, DANDO LUGAR A LOS MACRO SISTEMAS QUE PERMITEN A LOS PROGRAMADORES CREAR UNA NUEVA SINTAXIS DE LENGUAJES DE PROGRAMACIÓN DE DOMINIO ESPECÍFICO EMPOTRADOS EN EL LISP.
  • 5. CLIPS ES UNA HERRAMIENTA QUE PROVEE UN ENTORNO DE DESARROLLO PARA LA PRODUCCIÓN Y EJECUCIÓN DE SISTEMAS EXPERTOS. FUE CREADO A PARTIR DE 1984, EN EL LYNDON B. JOHNSON SPACE CENTER DE LA NASA, CONSIDERADA TAMBIEN UN ACRÓNIMO DE C LANGUAGE INTEGRATED PRODUCTION SYSTEM (SISTEMA DE PRODUCCIÓN INTEGRADO EN LENGUAJE C). EN LA ACTUALIDAD, ENTRE LOS PARADIGMAS DE PROGRAMACIÓN QUE SOPORTA CLIPS SE ENCUENTRAN LA PROGRAMACIÓN LÓGICA, LA PROGRAMACIÓN IMPERATIVA Y LA PROGRAMACIÓN ORIENTADA A OBJETOS.