Spencer-Smith, Richard <br/><br/>
Logic and prolog / 
Richard Spencer-Smith 
 - New York :  Harvester Wheatsheaf,  1991 
 - viii, 392 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>0745010229  RM91.33 
<br/><br/><label>LCCN: </label>91-223946 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Prolog (Computer program language)