Logic with Prolog

Sinopsis de Logic with Prolog

«Logic with Prolog» es el manual de lógica formal y programación lógica de Peter Gibbins, de Clarendon Press, en tapa blanda (336 páginas, en inglés).

Introducción a la lógica formal y a la programación lógica con Prolog: cubre analizadores, intérpretes, verificadores de pruebas y demostradores de teoremas, los cálculos proposicional y de predicados mediante deducción natural, la lógica de un pequeño lenguaje imperativo y las limitaciones del Prolog real.

Publicado originalmente en 1988, forma parte de la serie Oxford Applied Mathematics and Computing Science Series e incluye bibliografía e índice.

Orientado a estudiantes universitarios y profesionales de la informática interesados en la lógica y la programación en Prolog.