Pople, Harry E., Jr. "A goal-oriented language for the computer" in Representation and meaning -- experiments with information processing systems, H. A. Simon and L. Siklossy (Eds.), Prentice-Hall, Englesvood Cliffs, N. J., 1972, pp331-413

Languages mentioned

• GOL {1969} Extension to LISP for predicate calculus