LOGIC and PROLOG programming - Kaushik,Saroj (New Delhi New Age International, 2002)
Includes appendix and index
Keywords: Computer programming