Micro-Prolog programming in Logic by McCabe, F. G., Clark, K. L. fromPrentice-Hall International Series in Computer Science 0 Type: Book
