Programacion Logica Teoria y Practica

Este libro aspira a desarrollar una presentacion basica completa del para digma de la programacion logica. Asi, aunque se dedica una gran atencion a los conceptos debase y se proporciona para ellos una formacion en amplitud no exenta de profundidad, tambien se concede gran importancia a las aplicaciones practicas. A lo largo del libro se destacan dos aspectos de la programacion logica: por un lado, la precision y sencillez de sus fundamentos logicos; por otro lado, sus ventajas practicas para el desarrollo de programas de un nivel de abstraccion muy elevado, lo que facilita la concision, claridad y mantenimiento de dichos programas.