STANFORD HEURISTIC PROGRAMMING PROJECT November 1980 Memo HPP-80-4 DEPARTMENT OF COMPUTER SCIENCE

There are several different types of goals, and each has a corresponding set of parameters. For example, the goal (obtain (coefficient 6 x 2)) means to obtain an expression for the coefficient of x2 in g6, either to print it out or pass as argument to some MACSYMA command. Note that this can be done either by finding an already computed expression (stored, say, as the value of some variable) or by computing it anew. Either implementation is satisfactory so long as it computes the desired expression.