Clocksin, W.F. <br/><br/>
Programming in Prolog 

 - 3rd 
 - New York  Springer-Verlag  1987 
 - 281p. 
<br/><br/><label>ISBN: </label>3540175393