General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。

youdao

General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。

youdao