Técnicas avanzadas de compilación para programación lógica : tesis doctoral [recurso electrónico]
Tipo de material:
Archivo de ordenadorIdioma: Español Editor: Madrid: Universidad Politécnica de Madrid. Facultad de Informática 2010Descripción: 237 p.: grafTema(s): Lógica | Aplicaciones de la lógica | Ciencia de los ordenadores | Logicales de ordenadoresRecursos en línea: Haga clic para acceso en línea Resumen: Los lenguajes de programación declarativos permiten expresar programas en un lenguaje que es más cercano al problema que a los detalles de implementación. A pesar de la generosidad de esta definición, Lloyd propone una noción más clara de la declaratividad, definiendo los programas como teorías en una lógica adecuada y la computación deducción en base a la teoría.
Prolog es uno de los lenguajes de programación del paradigma lógico más importantes, cuya teoría es la de la la deducción lógica.
No hay ítems correspondientes a este registro
Los lenguajes de programación declarativos permiten expresar programas en un lenguaje que es más cercano al problema que a los detalles de implementación. A pesar de la generosidad de esta definición, Lloyd propone una noción más clara de la declaratividad, definiendo los programas como teorías en una lógica adecuada y la computación deducción en base a la teoría.
Prolog es uno de los lenguajes de programación del paradigma lógico más importantes, cuya teoría es la de la la deducción lógica.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.