Summary: Functional Logic Programming
Portland State University
Portland, OR 97207, U.S.A.
Institut für Informatik, CAU Kiel
D-24098 Kiel, Germany.
The evolution of programming languages is the stepwise
introduction of abstractions hiding the underlying computer
hardware and the details of program execution. Assem-
bly languages introduce mnemonic instructions and sym-
bolic labels for hiding machine codes and addresses. For-
tran introduces arrays and expressions in standard mathe-
matical notation for hiding registers. Algol-like languages
introduce structured statements for hiding gotos and jump
labels. Object-oriented languages introduce visibility levels
and encapsulation for hiding the representation of data and