TY - BOOK AU - Stobo John TI - Problem Solving With Prolog SN - 0 273 02933 9 PY - 1989/// CY - London PB - Pitman ER -