Programming in prolog - Clocksin, W. F. 1955- (Springer-Verlag, 1994)
Περιέχει ευρετήριο.