Gibbins, Peter. <br/><br/>
Logic with prolog / 
Peter Gibbins. 
 - Oxford :  Clarendon Press,  1988. 
 - 321 p. :  ill. ;  23 cm. 
 - Oxford applied mathematics and computing science series .
<br/><br/><label>ISBN: </label>0198596715 
<br/><br/><label>LCCN: </label>88-25287 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language).<br/>Logic programming.