Le, Tu Van. <br/><br/>
Techniques of Prolog programming with implementation of logical negation and quantified goals / 
Tu Van Le. 
 -  J. Wiley  1993. 
<br/><br/>8217 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language).<br/>Negation (Logic).
<br/><br/><label>LC Class. No.: </label>QA76.73  / P76Le.