TY  - BOOK
AU  - Downward, Michael
TI  - Logic and declarative language
SN  - 0748408037
PY  - 1998///
CY  - London
PB  - Taylor & Francis
KW  - Logic programming languages
KW  - Declarative programming
KW  - Programming languages (Electronic computers)
KW  - Prolog (Computer program language)
N1  - p. 357-358
ER  -