Lloyd, J. W.  1947- <br/><br/>
Foundations of logic programming  [[Book] /] 
J.W. Lloyd. 
 - 2nd, extended ed. 
 - Berlin ;  New York :  Springer-Verlag,  1987. 
 - 212 p. :  ill. ;  25 cm. 
 - Symbolic computation.  Artificial intelligence .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [195]-204. 
<br/><br/> All age. 
<br/><br/><label>ISBN: </label>0387181997  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Programming languages (Electronic computers)--Semantics.
<br/><br/><label>Dewey Class. No.: </label>005.1 
<br/><br/><label>National Library of Medicine Call No.: </label> / L F