Le, T. Van <br/><br/>
Prolog programming   : with implementation of logical negation and quantified goals 

 -  John Wiley & Sons  1993 
<br/><br/><label>LC Class. No.: </label>QA76.73  / .P76L4 1993