LE, T. VAN <br/><br/>
TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS 

 - FIRST EDITION 
 - NEW YORK  JOHN WILEY & SONS, INC.  1993 
 - 601P. 
<br/><br/><label>ISBN: </label>047157175X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROLOG, COMPUTER PROGRAM LANGUAGE<br/>LOGIC<br/>NEGATION
<br/><br/><label>Dewey Class. No.: </label>005.133/VAN