12 HEURISTIC DENDRAL: a Program for Generating Explanatory Hypotheses in Organic Chemistry B. Buchanan Georgia Sutherland and E. A. Feigenbaum