Lloyd, J. W. <br/><br/>
Foundations of logic programming 
J.W. Lloyd 
 - Berlin  Springer-Verlag  1984 
 - 124 p. : ill. ; 25 cm. 
<br/><br/><label>ISBN: </label>3540132996 
<br/><br/><label>LCCN: </label>84-20277 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming<br/>Logic, Symbolic and mathematical<br/>Programming language (Electronic computers)--Semantics