Programming In Prolog Ed.Iii - Clocksin W.F. ;Mellish C.S.
15