The craft of Prolog - O'Keefe, Richard A. (Logic programming, 1990)