Van Le, T. <br/><br/>
Techniques of Prolog programming :  with implementation of logical negation and quantified goals / 
T. Van Le 
 - New York :  Wiley,  1993 
 - xviii, 601 p.:  ill.;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>047157175X (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language)<br/>Negation (Logic)