Adding prolog rules and OOPs inheritance to legacy databasesArt GoldschmidtDipayan Gangopadhyay1991ASME CIE 1991