Micro-prolog : programming in logic - Clark, K. L.; McCabe, F.G. (Prentice-Hall of India New Delhi, 1987)