PROGRAMMING IN PROLOG - CLOCKSIN, W.F.; MELLISH, C.S. (Narosa Pub. House, 1991)