Le, Tu Van <br/><br/>
Techniques of prolog programming :  with implementation of logical negation and quantified goals / 
T. Van Le 
 - New York :  John Wiley & Sons,  1993 
 - xviii, 601 p. :  ill. ;  24 cm. +  2 computer disks (3 1/2 in.) 
<br/><br/> Book is accompanied by one diskette, entitled'Techniques of prolog programming', bearing the same call number and available at Bahagian Koleksi Media. 
<br/><br/>Bibliography : p.585-593 
<br/><br/><br/>System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. 
<br/><br/><label>ISBN: </label>0471599700 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Prolog (Computer program language)
<br/><br/><label>Subjects--Topical Terms: </label><br/>Negation (Logic)