Nilsson, U <br/><br/>
Logic programming and prolog. 2nd. Edition. 

 - Chichester  John Wiley and Sons  1995 
 - xii, 282p. 
<br/><br/><label>ISBN: </label>Chichester