Lloyd, J. W. <br/><br/>
Foundations of logic programming 

 - Berlín :   Springer-Verlag,  c1984 
 - x, 124 p. :  il.  ;  24 cm. 
 - Symbolic computation. Artificial intelligence .
<br/><br/><label>ISBN: </label>3540132996 
<br/><br/><label>Standard No.: </label>DIF-M628 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACIÓN LÓGICA