| 关于Prolog代数方程组的解 |
| |
| 引用本文： | 李永礼,李廉.关于Prolog代数方程组的解[J].兰州大学学报(自然科学版),1990,26(3):1-5. |
| |
| 作者姓名： | 李永礼 李廉 |
| |
| 作者单位： | 兰州大学计算机科学系
(李永礼)，兰州大学计算机科学系(李廉) |
| |
| 摘 要： |
|
| 关 键 词： | 树代数 Prolog 逻辑程序设计 |
On the Solutions of the System of Algebaic Equations in Prolog |
| |
| Li Yongli,Li Lian.On the Solutions of the System of Algebaic Equations in Prolog[J].Journal of Lanzhou University(Natural Science),1990,26(3):1-5. |
| |
| Authors: | Li Yongli Li Lian |
| |
| Institution: | Department of Computer Science |
| |
| Abstract: | In this paper,it creats a graphical method to find the solutions forreduced systems,and prove that a reduced system has only rationalsolutions iff its solution is unique.Moreover,a concept on general graphof solutions is proposed which can be easily constructed from reducedsystem,all solutions can be ahtained from this general graph and therelations among these solutions can be known well.The general graph isa finitely representation. |
| |
| Keywords: | tree-algebra PROLOG reduced system of equations logical programming design |
| 本文献已被 CNKI 维普 等数据库收录！ |
