2014 | OriginalPaper | Chapter
7. Prolog
Published in:
Foundations of Programming Languages
Abstract
Imperative programming languages reflect the architecture of the underlying von Neumann stored program computer: Programs update memory locations under the control of instructions.