Kaushik, S. <br/><br/>
Logic and Prolog Programming 

 - New Delhi  New Age International Publishers  2002 
 - ix,319p  Includes Appendix and Index (4 pgs)