TY  - BOOK
AU  - Nilsson,Ulf
AU  - Maluszynski,Jan
TI  - Logic, programming and prolog
SN  - 0471926256
U1  - QA/76.6 
PY  - 1990///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Electronic digital computers -- Programming.
KW  - Logic, Symbolic and mathematical.
ER  -