Prolog Versus You

An Introduction to Logic Programming

  • Anna-Lena Johansson
  • Agneta Eriksson-Granskog
  • Anneli Edman

Table of contents

  1. Front Matter
    Pages I-IX
  2. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 1-19
  3. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 21-53
  4. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 55-75
  5. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 77-116
  6. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 117-155
  7. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 157-179
  8. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 181-190
  9. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 191-230
  10. Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 231-255
  11. Back Matter
    Pages 257-297

About this book

Introduction

Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog.

Keywords

C programming language Prolog data structures expert system knowledge logic programming problem solving programming language

Authors and affiliations

  • Anna-Lena Johansson
    • 1
  • Agneta Eriksson-Granskog
    • 1
  • Anneli Edman
    • 1
  1. 1.Computer Science DepartmentUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-71922-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17577-3
  • Online ISBN 978-3-642-71922-6
  • About this book