MICRO-PROLOG. PROGRAMMING IN LOGIC - Clark, Keith L. (Prentice-Hall International, 1984)