A PROLOG database system - Li, Deyi (Research Studies Pr. u.a., 1984)