TY  - BOOK
AU  - Li, Deyi
TI  - A prolog database system
PY  - 1984///
ER  -