TY  - BOOK
AU  - Maier,David
AU  - Warren,David S.
TI  - Computing with logic: logic programming with Prolog 
SN  - 0805366814 (pbk.)
U1  - 005.133 22
PY  - 1988///
CY  - Menlo Park, Calif.
PB  - Benjamin/Cummings Pub. Co.
KW  - Prolog (Computer program language)
KW  - Logic programming
N1  - Includes bibliographies and index
ER  -