At last the paper USES a case to explain the solving procedure of goal programming model based on knowledge.

最后结合案例进一步说明了基于知识的目标规划模型的求解流程。

youdao

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

A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。

youdao

The company, which has raised an unspecified seed financing from Spark Capital and market maker GETCO, provides browser-based tools for anyone with basic programming knowledge to create algorithms and simulate actual trading with them.

FORBES: Quantopian Brings Algorithmic Trading To The Masses

What makes this approach relevant is its ability to wrap multiple knowledge bases in a very clever piece of heuristics-based programming.

FORBES: Watson: Fighting the Last War