Morales Caballero, José Francisco
Técnicas avanzadas de compilación para programación lógica : tesis doctoral [recurso electrónico] - Madrid: Universidad Politécnica de Madrid. Facultad de Informática 2010. - 237 p.: graf.
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.
Lógica
Aplicaciones de la lógica
Ciencia de los ordenadores
Logicales de ordenadores
Técnicas avanzadas de compilación para programación lógica : tesis doctoral [recurso electrónico] - Madrid: Universidad Politécnica de Madrid. Facultad de Informática 2010. - 237 p.: graf.
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.
Lógica
Aplicaciones de la lógica
Ciencia de los ordenadores
Logicales de ordenadores
