Spivey, J. M. <br/><br/>
An Introduction to Logic Programming Through Prolog / 
Michael Spivey. 
 - London ;  New York :  Prentice Hall,  1996. 
 - x, 251 p. :  ill. ;  24 cm. 
 - Prentice-Hall international series in computer science .
<br/><br/> Includes index. 
<br/><br/>Overview programming with relations and terms; Horn clause programs; unification and resolution; answers and SLD-resolution; programming examples; negation as failure; program transformation; implementation. 
<br/><br/> Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG implementation. 
<br/><br/><label>ISBN: </label>0135360471 (pbk. : alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Prolog (Computer program language)
<br/><br/><label>LC Class. No.: </label>QA76.63  / .S64 1996