TY  - GEN
AU  - Nilsson, Ulf,                
AU  - MaÅ‚uszynÌ?ski,J.
TI  - Logic, programming, and Prolog
SN  - 0471959960 pbk. : alk. paper)
U1  - 005.131 
PY  - 1995///
CY  - Chichester, New York
PB  - John Wiley,1995
KW  - Logic programming
KW  - Prolog (Computer program language)
N1  - Includes bibliographical references (p. 263-275) and index
ER  -