STERLING(Leon) & SHAPIRO(Ehud) <br/><br/>
The art of prolog: Avanced programming techniques 

 -  MIT Press  1986 
 - xxiii p. + 437