Pople, H. E., Myers, J.D. and Miller, R.A. "DIALOG: a model of diagnostic logic for internal medicine"

[Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977  

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