Skip to main content
SpringerLink
Log in
Book cover

Programming in Prolog

Using the ISO Standard

  • Book
  • © 1981

Overview

Authors:
  1. William F. Clocksin

    1. Department of Engineering Science, University of Oxford, Oxford, England

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Christopher S. Mellish

    1. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Tutorial Introduction

    • William F. Clocksin, Christopher S. Mellish
    Pages 1-21

  3. A Closer Look

    • William F. Clocksin, Christopher S. Mellish
    Pages 22-38

  4. Using Data Structures

    • William F. Clocksin, Christopher S. Mellish
    Pages 39-57

  5. Backtracking and “Cut”

    • William F. Clocksin, Christopher S. Mellish
    Pages 58-78

  6. Input and Output

    • William F. Clocksin, Christopher S. Mellish
    Pages 79-93

  7. Built-In Predicates

    • William F. Clocksin, Christopher S. Mellish
    Pages 94-129

  8. More Example Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 130-163

  9. Debugging Prolog Programs

    • William F. Clocksin, Christopher S. Mellish
    Pages 164-186

  10. Using Grammar Rules

    • William F. Clocksin, Christopher S. Mellish
    Pages 187-206

  11. The Relation of Prolog to Logic

    • William F. Clocksin, Christopher S. Mellish
    Pages 207-227

  12. Projects in Prolog

    • William F. Clocksin, Christopher S. Mellish
    Pages 228-234

  13. Back Matter

    Pages 235-281
    Download chapter PDF
Back to top

Keywords

About this book

The computer programming language Prolog is quickly gaining popularity throughout the world. Since Its beginnings around 1970. Prolog has been chosen by many programmers for applications of symbolic computation. including: D relational databases D mathematical logic D abstract problem solving D understanding natural language D architectural design D symbolic equation solving D biochemical structure analysis D many areas of artificial Intelligence Until now. there has been no textbook with the aim of teaching Prolog as a practical programming language. It Is perhaps a tribute to Prolog that so many people have been motivated to learn It by referring to the necessarily concise reference manuals. a few published papers. and by the orally transmitted 'folklore' of the modern computing community. However. as Prolog is beginning to be Introduced to large numbers of undergraduate and postgraduate students. many of our colleagues have expressed a great need for a tutorial guide to learning Prolog. We hope this little book will go some way towards meeting this need. Many newcomers to Prolog find that the task of writing a Prolog program Is not like specifying an algorithm in the same way as In a conventional programming language. Instead. the Prolog programmer asks more what formal relationships and objects occur In his problem.

Authors and Affiliations

  • Department of Engineering Science, University of Oxford, Oxford, England

    William F. Clocksin

  • Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    Christopher S. Mellish

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation