摘要
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。
This paper discusses the equation extention method which solves the expres- sion problems in logic program system. The equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism. The method is applied in the interpreter system SC-PROLOG suc- cessfully.
出处
《指挥技术学院学报》
1997年第1期85-89,共5页
Journal of Institute of Command and Technology
关键词
等式扩展方法
表达式
逻辑程序系统
rewriting mechanism
equation logic
equation extention method
expres sion
