An Introduction to Programming in Prolog

1. Front Matter

   Pages i-xi

   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

    PDF

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.

• Natural
• Prolog
• artificial intelligence
• constraint
• control
• expert system
• grammar
• intelligence
• logic
• modeling
• natural language
• programming
• programming language
• recursion
• semantics

• LSI Université Paul Sabatier, Toulouse, France

  Patrick Saint-Dizier

Policies and ethics