in this logical framework
在这个逻辑框架中
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
youdao
应用推荐
模块上移
模块下移
不移动