PROFESSIONAL PROGRAMMERS GUIDE TO PROLOG - MCKAY,P (LONDON PITMAN, 1989)