Micro-PROLOG : - Clark, K. L. (Keith L.) (Prentice/Hall International, 1984)