TY  - BOOK
AU  - LI,DEYI
TI  - PROLOG DATABASE SYSTEM
SN  - NCST
U1  - 216 
PY  - 1984///
CY  - NEW YORK
PB  - JW
ER  -