Series: Prentice Hall international series in computer science
Publisher : Prentice Hall - Paris : Masson ; Hemel, Hempstead ; Englewood Cliffs, NJ
Logic plays an important role in the two areas of computer science; reduction and resolution, respectively associated with functional programming and logic programming.
KEY BENEFIT: This book illustrates that logic is not only a language in which to accurately state facts or knowledge (as in Artificial Intelligence) but also that programming itself is a logical activity.
Includes bibliographical references (p. 370-377) and index.