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/> System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.  Includes index. 
<br/><br/>Includes bibliographical references.  
<br/><br/><label>ISBN: </label>0471599700 (pbk.) 047157175x (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language).<br/>Negation (Logic).