{"product_id":"alpuente-frasnedo-maria-programacion-logica-teoria-y-practica-9788483223680","title":"Programación lógica : teoría y práctica","description":"La programaci?n declarativa se basa en la idea de utilizar un cierto tipo de l?gica como lenguaje de programaci?n. Esto incluye tanto la programaci?n l?gica (o relacional, que usa un lenguaje clausal para programar y el principio de resoluci?n como mecanismo de ejecuci?n) como la funcional (que usa el lenguaje de las funciones matem?ticas y la reducci?n de expresiones como mecanismo computacional). Este libro aspira a desarrollar una presentaci?n b?sica completa del paradigma de la programaci?n l?gica. As?, aunque se dedica una gran atenci?n a los conceptos de base y se proporciona para ellos una formaci?n en amplitud no exenta de profundidad, tambi?n se concede gran importancia a las aplicaciones pr?cticas. La obra se ajusta a un esquema de presentaci?n (est?ndar) de un curso introductorio de programaci?n l?gica en las Escuelas de Ingenier?a Inform?tica. Las caracter?sticas que la distinguen son: -Desarrollo soportado por s?lidas bases formales -Equilibro entre los contenidos formales y los pr?cticos -Soporte para m?todos formales ligeros -Obra autocontenida","brand":"Prentice Hall","offers":[{"title":"Used - good","offer_id":53543074758998,"sku":"9788483223680-G","price":46.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9788483223680_1.jpg?v=1778442435","url":"https:\/\/www.momoxbooks.com\/products\/alpuente-frasnedo-maria-programacion-logica-teoria-y-practica-9788483223680","provider":"momoxbooks","version":"1.0","type":"link"}