计算机代数学的PROLOG实现

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