Abstract: This paper describes the crucial rules played by domain knowledge in an automatic programming system, outlines our recent work, and gives our future research orientation.