Logic And Declarative Language [Paperback]

M. Downward (Author)

Book Description

Publication Date: June 3, 1998

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

Product Details

• Paperback: 384 pages
• Publisher: Taylor & Francis; 1 edition (June 3, 1998)
• Language: English
• ISBN-10: 0748408029
• ISBN-13: 978-0748408023
• Product Dimensions: 9.1 x 6.1 x 1.1 inches
• Shipping Weight: 1.2 pounds (View shipping rates and policies)
• Average Customer Review: 3.0 out of 5 stars  See all reviews (2 customer reviews)
• Amazon Best Sellers Rank: #4,167,885 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

2 of 2 people found the following review helpful:

5.0 out of 5 stars Making this important area clear, January 28, 2000

By 

riehard kupce (Germany) - See all my reviews

This review is from: Logic And Declarative Language (Paperback)

I have been very pleased with this book because it is so much clearer than other books in the same area. In effect it provides a "general theory" of computer languages, connecting all the different topics through logic. I was particularly pleased with the explanations of modern type theory and its relationship to object-oriented and polymorphic programming.

2 of 3 people found the following review helpful:

1.0 out of 5 stars This book does not deliver what it promises, October 13, 1999

By 

Constance Barton "CBDenver" (Littleton, CO USA) - See all my reviews
(REAL NAME)   

This review is from: Logic And Declarative Language (Paperback)

I bought this book on the strength of the claim that it makes the difficult subject of logic accessable to computer scientists. I was very disappointed to find a book steeped in formulaic arcana and obtuse descriptions. The author does not "clarify the relationships between logic languages, functional languages, and object oriented languages" as promised in the Booknews review. Apparently the author thinks clarity is found in logic formulas, but most of us prefer actual clear, concise English-language sentences.