PROLOG DATABASE SYSTEM - LI,DEYI (JW NEW YORK, 1984)