fp@PROOF.ERGO.CS.CMU.EDU (Frank Pfenning) (04/27/88)
I am looking for pointers to work on the connection between object-oriented programming and logic programming. Any help would be appreciated. - Frank Pfenning ------------------------------------------ Frank Pfenning Department of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Telephone: (412) 268-6343 ArpaNet: Frank.Pfenning@cs.cmu.edu ------------------------------------------