Le, T. Van. <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. + |e 2 computer disks (3 1/2 in.) 
<br/><br/> System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. 
<br/><br/>Includes bibliographical references (p. 585-593) and index. 
<br/><br/><label>ISBN: </label>047157175X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Negation Logic<br/>Prolog Computer program language
<br/><br/><label>LC Class. No.: </label>QA76.73.P76  
<br/><br/><label>Dewey Class. No.: </label>005.13/3