Clark, K L Micro-prolog : programming in logic by K L Clark and F G McCabe - Englewood Cliffs Prentice-Hall 1984 - xi, 401p. - Prentice hall international series in computer science . ISBN: 013581264X Dewey Class. No.: 005.133 / N8419;1