Skip to main content
SpringerLink
Log in
Book cover

An Introduction to Programming in Prolog

  • Textbook
  • © 1990

Overview

Authors:
  1. Patrick Saint-Dizier

    1. LSI Université Paul Sabatier, Toulouse, France

    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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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 (17 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Representing Facts in Prolog

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 1-9

  3. Querying the Fact Base

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 10-19

  4. Expressing Rules

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 20-28

  5. Syntax of Prolog. The Unification Mechanism

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 29-36

  6. Arithmetic Operations

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 37-42

  7. Procedures

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 43-48

  8. Recursion

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 49-57

  9. Structure and Management of Control

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 58-74

  10. Lists

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 75-86

  11. Predefined Predicates

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 87-95

  12. Some Programming Advice

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 96-102

  13. Formal Aspects of Programming in Logic

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 103-113

  14. Playing with Words

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 114-124

  15. Deductive Databases

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 125-139

  16. An Expert System about Animals

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 140-147

  17. Count It Out

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 148-153

  18. The Automatic Analysis of Natural Language

    • Patrick Saint-Dizier, Sharon J. Hamilton
    Pages 154-168

  19. Back Matter

    Pages 169-184
    Download chapter PDF
Back to top

Keywords

About this book

This book is an introduction to Prolog (£rQgramming in ~ic). It presents the basic foundations of Prolog and basic and fundamental programming methods. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an original introduction to programming. The approach adopted in this book is thus based on methodological elements together with some pragmatic aspects. The book is composed of two parts. In the fIrst part the major aspects of programming in Prolog are presented step by step. Each new aspect is illustrated by short examples and exercises. The second part is composed of more developed examples, which are often games, that illustrate major aspects of artifIcial intelligence. More advanced books are given in the bibliography and will allow the reader to deepen his or her know ledge of Prolog. Prolog was first designed in France at OJ.A., Marseille, with a specific syntax. We have adopted here a more common notation, defIned at Edinburgh, which tends to be an implicit norm. At the end of each chapter of the fIrst part, there are exercises that the reader is invited to do and to test on his or her machine. Complete answers are given in Appendix A, at the end of the book.

Authors and Affiliations

  • LSI Université Paul Sabatier, Toulouse, France

    Patrick Saint-Dizier

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation