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.

• 本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。