The Heuristic DENDRAL Program for Explaining Empirical Data