TY  - BOOK
AU  - Gibbins,Peter
TI  - Logic with prolog
SN  - 0198596715
PY  - 1988///
CY  - Oxford
PB  - Clarendon Press
KW  - Prolog (Computer program language)
KW  - Logic programming
ER  -