论文部分内容阅读
本文设计了一个高效的合一和回溯智能加速部件,在实现时我们运用了自己提出的优化线性合一算法和超前检查智能回溯策略.经测试和分析表明,采用该加速部件的Prolog实现系统的效率要比软件实现提高十倍以上.
In this paper, we design an efficient one-component and backtracking intelligent acceleration component. In implementation, we use our own optimized linear combination algorithm and advanced lookback intelligent backtracking strategy. Tested and analyzed show that the Prolog system with this accelerating component is more than ten times more efficient than the software implementation.