Micro-PROLOG : programming in Logic - Clark, K. L. (Keith L.); McCabe, F. G. (Frank G.) (Englewood Cliffs, N.J. : Prentice-Hall International, 1984)
Keywords: Micro -- PROLOG (Computer program language)