000			01352nmm a22002294a 4500
003			BOLpUSFA
005			20200828022413.0
008			t es ggqgqd d0 spa d
041			_aspa
044			_cES
100			_aMorales Caballero, José Francisco
245			_aTécnicas avanzadas de compilación para programación lógica : _btesis doctoral _h[recurso electrónico]
260			_aMadrid: _bUniversidad Politécnica de Madrid. Facultad de Informática _c2010.
300			_a237 p.: _bgraf.
520			_aLos 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.
650			_aLógica
650			_aAplicaciones de la lógica
650			_aCiencia de los ordenadores
650			_aLogicales de ordenadores
856			_uhttp://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=dcd98df029cd355b43f748fc1ef292a5
942			_2ddc _cDOCE _zOPW
999			_c4520 _d4520