Logic programming / 
edited by K.L. Clark and S. A. Tarnlund. 
 - London :  Academic Press,  1982. 
 - xvii, 366 p. :  ill. ;  24 cm. 
 - APIC studies in data processing  no.16 .
<br/><br/>Bibliography: p341-361. - Includes index. 
<br/><br/><label>ISBN: </label>0121755207 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming.<br/>Logic, Symbolic and mathematical.