Prolog中非逻辑成分的部分计算

内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。

论数学中的非逻辑成分在逻辑思维中的作用

数学研究中的非逻辑成分包括想象与联想、直觉与灵感及审美感等内容，它们在数学逻辑思维中产生的作用是不容忽视的．想象与联想有着类似于桥梁的作用，直觉与灵感往往带来重要的发现，而审美感则具备选择和引导的功能．