TY  - DATA
AU  - Morales Caballero, José Francisco 
TI  - Técnicas avanzadas de compilación para programación lógica : : tesis doctoral
PY  - 2010///
CY  - Madrid: 
PB  - Universidad Politécnica de Madrid. Facultad de Informática
KW  - Lógica
KW  - Aplicaciones de la lógica
KW  - Ciencia de los ordenadores
KW  - Logicales de ordenadores
N2  - 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
UR  - http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=dcd98df029cd355b43f748fc1ef292a5
ER  -