El objetivo principal de este libro es proporcionar al lector un conocimiento uniforme sobre los fundamentos de la programación lógica y las técnicas más simples y sencilla de la programación en Prolog. Mientras se discuten los fundamentos, también se facilita un estudio sistemático de las variantes de la programación lógica como son aquella por limitación, bases de datos deductivas o la programación lógica concurrente.

Este libro no está destinado principalmente a ser un manual teórico sobre la programación lógica. Tampoco está destinada a ser un libro sobre programación avanzada en Prolog o en la lógica de programación con restricciones. Para cada uno de estos temas hay más libros adecuados. Debido que se tratan temas teóricos sobre estructuras y diseños, existe el riesgo de concluir no diciendo realmente nada. Hemos tratado de compensar este riesgo limitando nuestra atención (en lo que creemos que son) las áreas más importantes de la programación lógica. A medida que avanza el manual, se ofrece toda una serie de referencias bibliográficas con las que complementar lo aprendido con estudios más completos para cada caso.