Research and Implementation of Equality in Logic Programming Language G?del(Chief Report)

• 逻辑程序设计语言G?del中等词的研究及实现简报