Clocksin,  W. F. <br/><br/>
Programming in Prolog / 
Clocksin, W. F., Mellish, C. S. 
<br/><br/><label>Dewey Class. No.: </label>005.133 C62P