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

 -  New Delhi ,Narosa Sharma Pub.  2002 
 - 281