Tutorial Introduction

  • William F. Clocksin
  • Christopher S. Mellish


Prolog is a computer programming language that is used for solving problems that involve objects and the relationships between objects. In this chapter we shall show the essential elements of the language in real programs, but without becoming diverted by details, formal rules, and exceptions. At this point, we are not trying to be complete or precise. We want to bring you quickly to the point where you can write useful programs, so to do that we must concentrate on the basics: facts, questions, variables, conjunctions, and rules. Other features of Prolog, such as lists and recursion, will be treated in later chapters.


Conjunction Search Matching Fact Computer Terminal Round Bracket Prolog System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • William F. Clocksin
    • 1
  • Christopher S. Mellish
    • 2
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeEngland
  2. 2.Cognitive Studies ProgrammeUniversity of SussexFalmer, BrightonEngland

Personalised recommendations