Clocksin, William F. <br/><br/>
Programming in prolog 

 - 3a ed. 
 -  Springer Verlag  1987 
<br/><br/><label>LC Class. No.: </label>QA76.73  / .P76C56 1987