Logic programming with Prolog - Bramer, M. A. 1948- (Springer, 2005)
Περιέχει ευρετήριο.