Heuristic Programming Project - Proposal to ARPA for work in the Period 7/1/75 to 7/1/76