CLARK(K L) & TARNLUND(S A) Ed <br/><br/>
Logic programming 

 - London  Academic Press  1982 
 - xvii p. + 366 
 - APIC Studies in Data Processing .