论文部分内容阅读
该文介绍在小型机上移植和改进挪威NTH-PROLOG解释系统的工作。通过用汇编语言改写内核,便运行效率平均提高了三倍;通过尾递归优化基本解决了运行时的溢出问题;通过增加予定义谓词丰富了逻辑程序设计环境,并使查询由事实组成的关系数据库的效率提高了一个数量级。该文着重探讨了尾递归优化问题。(本刊录)