turpin@cs.utexas.edu (Russell Turpin) (03/07/91)
----- I am looking for papers on the intersection of logic programming and object-oriented programming. (Most of the ones of which I am aware concern equational theories and moving algebraic type definitions into logic languages.) Someone suggested that I look at some work by Mike Kieffer (sp?) of SUNY. Unfortunately, I don't have a specific reference. Can anyone out there fill me in? Russell