Machine-aided heuristic programming is advocated as a paradigm for incorporating domain knowledge in intelligent task performance programs. In this paradigm, a system interactively assimilates a natural language description of a task, advice on how t...