Nilson, Ulf <br/><br/>
Logic programming and prolog.. 

 - Chichester  John Wiley & Sons  1990.0 
<br/><br/><label>ISBN: </label>9.78E+12 
<br/><br/><label>LC Class. No.: </label>QA347; QC6.4  / .F58N65; .L36