TY - BOOK AU - Stobo, John TI - Problem solving with prolog SN - 0273029339 PY - 1989/// CY - London: PB - Pitman, KW - Information technology KW - Data structuring ER -