The Relation of Prolog to Logic

  • William F. Clocksin
  • Christopher S. Mellish

Abstract

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.

Keywords

Mane Alan 

Preview

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