An object-oriented inference engine for PROLOG. - Daniel Lanovaz; Duane Szafron (J. Syst. Softw., 1992)