OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK

被引：0

作者：

BROGI, A ^{[1
]}

LAMMA, E ^{[1
]}

MELLO, P ^{[1
]}

机构：

[1] UNIV BOLOGNA,DEIS,I-40136 BOLOGNA,ITALY

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 592卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Some basic notions of object-oriented programming such as objects, messages and inheritance are provided of a clean definition according to the logic programming paradigm. Objects are represented by logic theories, while inheritance mechanisms are expressed through meta-level axioms. The sending of a message is interpreted as a request for the proof of a formula. The main contribution of the paper is to provide a clean semantic characterization for these notions defining both a proof-theory and a compositional model-theory.

引用

页码：102 / 113

页数：12