Logic Programming

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


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