A Closer Look

  • William F. Clocksin
  • Christopher S. Mellish


In this chapter we provide a more complete discussion of the parts of Prolog that were introduced in the previous chapter. Prolog provides tools for structuring data as well as structuring the order in which attempts are made to satisfy goals. Structuring data involves knowing the syntax by which we can denote data. Structuring the order in which goals are solved involves knowing about backtracking.


Arithmetic Operation Precedence Class Previous Chapter Prolog Program Arithmetic Expression 
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 1981

Authors and Affiliations

  • William F. Clocksin
    • 1
  • Christopher S. Mellish
    • 2
  1. 1.Department of Engineering ScienceUniversity of OxfordOxfordEngland
  2. 2.Department of Artificial IntelligenceUniversity of EdinburghEdinburghScotland

Personalised recommendations