Spivey, J. Michael <br/><br/>
An introduction to logic programming through Prolog / 
Michael Spivey. 
 - London :  Prentice Hall,  c1996. 
 - x, 251 p. 
 - Prentice Hall International series in computer science .
<br/><br/> Includes bibliography, appendices and index. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Prolog (Computer program language).