Algorithm = Logic + Control,
Kowalski, R. A. (1979),
Communications of the ACM, 22, 7 p. 424–436,
10.1145/359131.359136.