Pople, H. E., Jr. "On the Mechanization of Abductive Logic"

[Proceedings] (1973) Proceedings of the Third International Joint Conference on Artificial Intelligence IJCAI-73, Stanford, CA: Stanford University 1973  

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