Constructing A Constraint Logic Programming Language Based on User Defined Objects

构建基于用户定义对象的约束逻辑编程语言

• 批准号: 02558003
• 负责人: AKAMA Kiyoshi
• 金额: $ 1.47万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Developmental Scientific Research (B)
• 财政年份: 1990
• 资助国家: 日本
• 起止时间: 1990 至 1991
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-02558003/
• 关键词: Natural language understanding; Object; Learning; Programming language; Constraint logic programming

We have constructed a new logic programming language, which is tentatively called PAL-II, where (1) users can create various objects by defining the algorithm to unify such objects, (2) users can define relations between objects. We have shown the availability of PAL-II for constructing of natural language understanding systems and learning systems. User defined objects are very useful for representing meanings of sentences, situation and knowledge as a logic program. By the transofrmation technique of such generalized logic programs, we can construct a procedure to find meaning from sentence. User defined objects are also very useful for representing a system of transforming degital circuits as a logic program. By the transformation technique of such generalized logic programs, we can construct a procedure to compose two transformation rules into a new one. We have also shown that programming languages such as miranda and smalltalk are declaratively embeded into out PALL-II, which sugests that PAL-II provides a new unifying framework for many programming languages.

我们构造了一种新的逻辑程序设计语言，暂称为PAL-II，其中(1)用户可以通过定义统一对象的算法来创建各种对象，(2)用户可以定义对象之间的关系。我们已经证明了PAL-II在构建自然语言理解系统和学习系统方面的有效性。用户定义的对象对于将句子、情景和知识的含义表示为逻辑程序非常有用。通过这种广义逻辑程序的转换技术，我们可以构造一个从句子中寻找意义的过程。用户定义的对象对于将数字电路的变换系统表示为逻辑程序也非常有用。通过这种广义逻辑程序的转换技术，我们可以构造一个过程，将两个转换规则组合成一个新的转换规则。我们还展示了诸如Miranda和SmallTalk之类的编程语言被声明性地嵌入到OUT PAL-II中，这表明PAL-II为许多编程语言提供了一个新的统一框架。

项目成果

AKAMA,Kiyoshi: "Foundations of Predicate Invention" Logic Programming Conference '91. 171-180 (1991)

AKAMA、Kiyoshi：“谓词发明的基础”逻辑编程会议 91。

AKAMA,Kiyoshi.: "A Theory of Predicate Invention" Workshop on Evaluating and Changing Representation in Machine Learning,IJCAI'91. (1991)

AKAMA，Kiyoshi.：“谓词发明理论”评估和改变机器学习表示的研讨会，IJCAI91。

AKAMA,Kiyoshi.: "Parfial Evaluation of Gereralized Logic Programs," 日本ソフトウェア科学会,関数プログラミング研究会. 12- (1991)

AKAMA, Kiyoshi.：“广义逻辑程序的部分评估”，日本软件科学学会，函数式编程研究小组 12- (1991)。

渡辺 慎哉,赤間 清,宮本 衛市: "オブジェクト指向型言語から論理型言語への埋めこみについて" 日本ソフトウェア科学会,関数プログラミング研究会. 8- (1991)

Shinya Watanabe、Kiyoshi Akama、Eiichi Miyamoto：“关于从面向对象语言到逻辑语言的嵌入”日本软件科学学会，函数式编程研究组 8- (1991)。

AKAMA,Kiyoshi: "Predicate Invention Based on the Equivalent Transformation of Programs," Hokkaido University Information Engineering Technical Report,. HIER-LI-9201. (1992)

AKAMA、Kiyoshi：“基于程序等价变​​换的谓词发明”，北海道大学信息工程技术报告，。