计算机代数学的PROLOG实现

PROLOG IMPLEMENTATION OF THE COMPUTER ALGEBRA

本文应用人工智能的成果,研究了代数问题自动求解时可以采用的一些技术,还探讨了如何用人工智能语言PROLOG建造《代数自动求解系统》。从中提出了一些可行的算法。作者已利用这些算法设计了一个实验性的《代数自动求解系统》。系统运行表明,结果尚佳。

The thesis applied AI technology, discussed some technology that may be used in the algebraic problem automatic solving, discussed how use AI language PROLOG to build 《Algebraic Problem automatic Solving System》, and gived some useful algorithems. The authgr has designed a experimental 《Algebraic Problem automatic solving System》. Using of the system shown the effect is good.