论文部分内容阅读
在PROLOG中嵌入函数功能有三种可能的途径，其中之一是采用一步归约的办法。对一致化算法，已用PASCAL语言描述并且在VAX-780机上实现了。该文将介绍一步归约函数的实现。（本刊录）
一步归约算法在VAX-780机上的应用
【摘 要】
：
在PROLOG中嵌入函数功能有三种可能的途径，其中之一是采用一步归约的办法。对一致化算法，已用PASCAL语言描述并且在VAX-780机上实现了。该文将介绍一步归约函数的实现。（本刊录）
【机 构】
：
国防科学技术大学
【出 处】
：
中国计算机学会PROLOG语言学术讨论会
【发表日期】
：
1985年期
其他文献
1.实行社会化改革是高校后勤的唯一出路rn后勤社会化并不是不要高校后勤,而是要把高校的后勤搞得更好;改革的最终目标是依据经济规律和教育规律,运用新的机制、新的模式,克服
高校后勤社会化改革,是深化高等教育体制改革的一项重要内容,也是优化教育资源配置,解除高校扩招面临的“瓶颈”制约,加快高等教育发展的一项重大的战略性举措.从1999年起,国
非线性控制理论是一个迅速发展的研究领域，很多基于非线性过程模型的先进的非线性控制算法不断在国内外文献中涌现，也出现了不少成功的工程应用实例。一般模型控制方法是一种能