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