Logic with Prolog- 9780198596592

Este libro es una introducción a las ideas esenciales de la lógica formal y al nuevo campo de la programación lógica, que está empezando a tener un impacto en el área tradicional de la ingeniería de software convencional. Se enfatizan los conceptos lógicos y cómo pueden implementarse en el lenguaje de programación lógica Prolog. Los autores discuten analizadores, impresoras bonitas, intérpretes de lenguajes de programación, verificadores de pruebas interactivos, demostradores de teoremas de varios tipos e implementan versiones de Prolog. La primera parte del libro trata sobre Prolog como lenguaje de programación y cómo se puede utilizar. El núcleo del libro trata sobre los cálculos proposicionales y de predicados, que se tratan convencionalmente, a través de sistemas de deducción natural. Se esboza la teoría detrás de la demostración automática de teoremas. Los dos últimos capítulos examinan la lógica de un pequeño lenguaje imperativo de programación especificado y la lógica restringida de Prolog real. También se consideran cuestiones filosóficas.