Prolog规则相关论文
符号计算是传统逻辑消解和数值计算的补充和完善,在非线性代数方程组求解、几何定理证明、密码分析、机器人、生物信息等方面有广......
由于传统的定理机器证明方法是基于规则的,使得定理证明出现几何信息增长迅猛,推理和计算效率低以及过程可读性差等问题。针对以上......
