Programming in Prolog - Clocksin, W. F. (William F.), 1955-; Mellish, C. S. (Christopher S.) 1954- (Berlin : Springer-Verlag, 1984)
Keywords: Prolog (Computer program language).