项目后评价的主要方法有：逻辑框架法、有无对比法、层次分析法、因果分析法和综合评价法等。
The main methods of project post evaluation include: logical framework approach, with and without comparison, analytical hierarchy process, cause and effect analysis and comprehensive evaluation.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
应用推荐