Final technical report to DARPA of work of HEURISTIC PROGRAMMING PROJECT