TY  - BOOK
AU  - Maier David
AU  -  Warren David S
TI  - Computing with logic: logic programming with prolog
U1  - D65,8(B)92Pr, M8 
PY  - 1988///
CY  - California
PB  - Benjamin         
KW  -  Prolog
KW  - Computer science
ER  -