Introduction to turbo prolog - Townsend Carl (New Delhi, India BPB publication, 1988)