Authors:Patrick Blackburn, Johan Bos, Kristina Striegnitz
Publisher: College Publicatio
Keywords: prolog, learn
Number of Pages: 284
Published: 2006-06-15
ISBN-10: 1904987176
ISBN-13: 9781904987178

Prolog is a programming language, but a rather unusual one. ``Prolog’’ is short for ``Programming with Logic’’, and the link with logic gives Prolog its special character. At the heart of Prolog lies a surprising idea: don’t tell the computer what to do. Instead, describe situations of interest, and compute by asking questions. Prolog will logically deduce new facts about the situations and give its deductions back to us as answers. Why learn Prolog? For a start, its ``say what the problem is, rather than how to solve it’’ stance, means that it is a ve

Author: Jean H. Gallier
Publisher: Longman Higher Educatio
Keywords: computer, science, row, technology, series, harper, theorem, foundations, automatic, logic, proving
Number of Pages: 528
Published: 1986-01-01
ISBN-10: 0060422254
ISBN-13: 9780060422257

"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers interested in the formalization of proofs and the foundations of automatic theorem proving. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains features rarely found in other texts on logic. Four of these are: the use of Ge