Advertisement

Logic Programming

  • Kent D. LeeEmail author
Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Luther CollegeDecorahUSA

Personalised recommendations