TY  - BOOK
AU  - Nilson,Ulf
TI  - Logic programming and prolog.
SN  - 9.78E+12
AV  - QA347; QC6.4 .F58N65; .L36
PY  - 1990///.0
CY  - Chichester
PB  - John Wiley & Sons
ER  -