Representation of knowledge in a program for solving physics problems