Artificial Intelligence Research in the HEURISTIC PROGRAMMING PROJECT