The scheme of Two-Way Global Analysis of Mode Inference is first put forward to avoid the disadvantages of One-Way Analysis. The scheme has been accomplished in PROLOG.

• 为了克服单向模式分析的缺点和不足；本文提出了模式识别的双向全局流分析方案；并用PROLOG语言实现.