Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming.
This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity.
- Format: Paperback
- Pages: 392 pages
- Publisher: Pearson Education (US)
- Publication Date: 01/05/1993
- Category: Computer programming / software development
- ISBN: 9780137700097