Pople, H. E., Jr., Myers, J. D., and Miller, R. A. "DIALOG INTERNIST: A Model of Diagnostic Logic for Internal"

[Proceedings] (1975) IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR  

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