Gibbins Peter <br/><br/>
Logic with prolog 

 - Oxford  Clarendon Press           1988 
 - xiv,321p  cm. 
 - Oxgord Applied Mathematics and computing science series .
<br/><br/> Bibliography P 312-14; Glossary P 293-96 
<br/><br/><label>Source: </label> General Book 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>D6,9(B), M8