A PROLOG database system - Li, Deyi, 1944- (Electronic & electrical engineering research studies. Computer engineering series, 1984)