Skip to main content
SpringerLink
Log in

Prolog Versus You

An Introduction to Logic Programming

  • Book
  • © 1989

Overview

Authors:
  1. Anna-Lena Johansson

    1. Computer Science Department, Uppsala University, Uppsala, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Agneta Eriksson-Granskog

    1. Computer Science Department, Uppsala University, Uppsala, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Anneli Edman

    1. Computer Science Department, Uppsala University, Uppsala, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 16.99 USD 89.00
Discount applied Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Logic Programs

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 1-19

  3. Execution of Logic Programs

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 21-53

  4. Data Structures

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 55-75

  5. Databases and Expert Systems

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 77-116

  6. Program Methodology

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 117-155

  7. Efficient Computation

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 157-179

  8. Input and Output

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 181-190

  9. Prolog Implementations

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 191-230

  10. Sparringpartner

    • Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman
    Pages 231-255

  11. Back Matter

    Pages 257-297
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Computer Science Department, Uppsala University, Uppsala, Sweden

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

Bibliographic Information

  • Book Title: Prolog Versus You

  • Book Subtitle: An Introduction to Logic Programming

  • Authors: Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman

  • DOI: https://doi.org/10.1007/978-3-642-71922-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Softcover ISBN: 978-3-540-17577-3Published: 14 September 1989

  • eBook ISBN: 978-3-642-71922-6Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IX, 297

  • Additional Information: Original Swedish edition published by Studentlitteratur AB, Lund

  • Topics: Programming Languages, Compilers, Interpreters, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation