TY  - BOOK
AU  - Nilsson,Ulf
AU  - Mauszyanski,Jan
TI  - Logic, programming, and prolog
SN  - 0471959960
PY  - 1995///
CY  - New York
PB  - Wiley
KW  - Logic programming
KW  - Prolog (Computer program language)
N1  - Includes bibliographical references (p. 263-275) and index
ER  -