Le, Tu Van. <br/><br/>
Techniques of Prolog programming :  with implementation of logical negation and quantified goals / 
T. Van Le. 
 - New York [etc.] :  John Wiley & Sons,  cop. 1993 
 - XVIII, 601 s. :  il. ;  24 cm. 
<br/><br/>Bibliogr. s. 585-593. Indeks. 
<br/><br/><label>ISBN: </label>0471599700