A Polymorphic Type System in Logic Programming

摘要：

This paper is concerned with the design of typesystems for logic programming so as to satisfy therequirements of modern logic programming.Thedesign of type systems is based on the language GOdelwhich has a strongly type system based on many-sorted logic with parametric polymorphism.Thedefinitions of the basic logic programming concepts ofterms,atoms,programs are given in the setting ofpolymorphic many-sorted logic.In particular,anunification algorithm for typed predicates is proposedfor the compiler construction of Godel.

作者: Li Huiqi Zhao Zhizhuo

作者单位: Department of Computer Science,Xiamen University,Xiamen 361005,Fujian

会议类型: 国际会议

会议名称: 2008 3rd International Conference on Intelligent System and Knowledge Engineering(第三届智能系统与知识工程国际会议)(ISKE 2008)

会议地点: 厦门

会议语种:英文

页码: 125-130

在线出版日期: 2008-11-17（万方平台首次上网日期，不代表论文的发表时间）