"Schnupp, Peter" <br/><br/>
Productive Prolog Programming 

 - \\198700ENGGPSX 
 - Prentice Hall  1987  London 
 - 296p 
<br/><br/> includes index and biblioraphy