Clocksin , W.F. <br/><br/>
Programming  in Prolog 

 -   New Delhi, Narosa Publishing  2002 
 - 281