Proposal to the Advanced Research Projects Agency for Continuation of the Stanford Artificial Intelligence Project and the Heuristic Programming Project