This paper discusses how heuristic control information from logic program are get to improve the imcompleteness and inefficiency resulting from the control strategy in PROLOG language system. Several heuristic rules and the proving of their correctness are given. With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved. At the end of this paper, a heuristic WAM(HWAM) is given, and several examples are listed to explain that HWAM is more efficient and more complete the WAM.