Micro-Prolog: Programming in logic - Clark, K L; McCabe, F G (New Delhi Prentice Hall, 1987)