Pople, H. E. J. "Artificial intelligence approaches to computer-based medical" Proc IEEE Intercon Conference, 1975

Languages mentioned

• GOL {1969} Extension to LISP for predicate calculus