The Relation of Prolog to Logic

  • William F. Clocksin
  • Christopher S. Mellish


The programming language Prolog was invented by Alain Colmerauer around about 1970. It was a first attempt at the design of a language that would enable a programmer to specify his tasks in logic, rather than in terms of conventional programming constructs about what the machine should do when. This motivation explains the name of the programming language, for “Prolog” stands for Programming in logic.


Logic Programming Goal Statement Function Symbol Predicate Calculus Atomic Formula 
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