PROBLEM SOLVING WITH PROLOG - STOBO,JOHRI (PITMAN, 1989)