Van Le, T. <br/><br/>
Techniques of PROLOG programming with implementation of logical negation and quantified goals / 
T. Van Le. 
 - New York :  Wiley,  c1993. 
 - xviii, 601 p. :  ill., + 3.5 inch. programme diskette. 
<br/><br/>Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library. 
<br/><br/>Includes bibliography: p. [585-593] and index. 
<br/><br/><label>ISBN: </label>047157175X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROLOG (Computer programme language)<br/>Negation (Logic)