【作者】 侯米娜； 赵致琢； 李慧琪； 苏剑煌； 李松斌；

【机构】 厦门大学计算机科学系；

【摘要】 <正>1 引言 Godel语言是继逻辑程序设计语言Prolog之后出现的一种通用、高效、表达性强的说明性逻辑程序设计语言。众所周知,逻辑程序语言在一定程度上更直观地反映了人类的思维结构和概念描述方更多还原

【Abstract】 Equality is one of the special predicates in logic program. It is helpful to define the function relations as introducing equality in logic programs, which improves the flexibility and diversity of the expression of logic programs. Logic Programs with equality extend the notion of unification into so-called E-unification. This paper introduces the E-unification algorithm of logic programs with equality with the examples of logic programming language Godel, which has a polymorphic many-sorted type system mechanism. We finally give a method of the SLDE-refu-tation in the programs with equality of Godel.更多还原