Advertisement
Published in:
2017 | OriginalPaper | Chapter
7. Logic Programming
Author : Kent D. Lee
Published in: Foundations of Programming Languages
Publisher: Springer International Publishing
Abstract
Imperative programming languages reflect the architecture of the underlying von Neumann stored program computer: Programs update memory locations under the control of instructions.Execution is (for the most part) sequential. Sequential execution is governed by a program counter. Imperative programs are prescriptive. They dictate precisely how a result is to be computed by means of a sequence of statements to be performed by the computer. Consider this program using the Small language developed in Chap. 6.