Computation as Logic

Front Cover
Masson, 1993 - Computers - 387 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
The syntactic landscape
9
Reduction
48
Copyright

8 other sections not shown

Common terms and phrases

References to this book

Bibliographic information