Pople, Harry E, Jr. "GOL: A Goal Oriented Language for the Computer" PhD Thesis, Carnegie-Mellon University, 1969
(1969)
Languages mentioned
GOL
{1969} Extension to LISP for predicate calculus