An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition by J. M. Spivey (PDF)

Description

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

User’s Reviews

Editorial Reviews: From the Publisher Logic Programming has increasing significance in computer science beyond the current fashion for expert systems. This book presents logic programming in the wider context of software engineering. From the Back Cover Using theory as a foundation for practical programming, this book presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation. For software engineers and programmers.Previously announced in 12/93 PTR Catalog.

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐The book is useful to everyone interested in the subject of Logic Programming. It contains all aspects of Logic Programming in a clear and highly comprehensive manner. The concepts of SLD-resolution, negation as failure and many others have been presented so lucidly that a person with almost no knowledge in the subject can read them like stories. I liked the chapter of hardware simulation very much. I strongly recommend the book at least to those who have already made up their minds to switch to another subject. Readers may just look at the book once to verify my words.

Keywords

Free Download An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition in PDF format
An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition PDF Free Download
Download An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition 1996 PDF Free
An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition 1996 PDF Free Download
Download An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition PDF
Free Download Ebook An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition