Clark, K L Micro-prolog : programming in logic by K L Clark and F G McCabe - Englewood Cliffs Prentice-Hall 1984 - xi, 401p. ISBN: 0876924771 Dewey Class. No.: 005.133 / N8419