TY - BOOK AU - STOBO,JOHN TI - PROBLEM SOLVING WITH PROLOG SN - KBCS U1 - 586 PY - 1989/// CY - LONDON PB - PITMA N1 - BR-471 ER -