Programming In Prolog : 3rd Revision Ed - Clocksin (W F) ;Mellish (C S) (1996)
15