Programming In Prolog - Clocksin (W F); Mellish (C S) (1997)
10