Sterling, Leon. The art of prolog: Advanced programming techniques. Leon.Sterling - New Delhi. PHI. 1996 - xxxx; 509p Dewey Class. No.: 1.6425 / A311T