Logic with Prolog

Sinossi di Logic with Prolog

«Logic with Prolog» è il manuale di logica formale e programmazione logica di Peter Gibbins, edito da Clarendon Press, in brossura (336 pagine, in inglese).

Introduzione alla logica formale e alla programmazione logica con Prolog: copre analizzatori, interpreti, verificatori di prove e dimostratori di teoremi, i calcoli proposizionale e dei predicati mediante deduzione naturale, la logica di un piccolo linguaggio imperativo e i limiti del Prolog reale.

Pubblicato originariamente nel 1988, fa parte della serie Oxford Applied Mathematics and Computing Science Series e include bibliografia e indice.

Rivolto a studenti universitari e professionisti dell'informatica interessati alla logica e alla programmazione in Prolog.