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