Gibbons, G. D. review of Pople

(1973) ACM Computing Reviews 14(05) May 1973  

Languages mentioned GOL {1969} Extension to LISP for predicate calculus