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
相关论文
共 50 条
  • [31] Free objects in constraint-logic object-oriented programming
    Dageförde, Jan C.
    Winkelmann, Hendrik
    Kuchen, Herbert
    2021, Association for Computing Machinery
  • [32] First-order modal logic in the necessary framework of objects
    Fritz, Peter
    CANADIAN JOURNAL OF PHILOSOPHY, 2016, 46 (4-5) : 584 - 609
  • [33] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [34] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [35] Revisiting Reductants in the Multi-adjoint Logic Programming Framework
    Julian-Iranzo, Pascual
    Medina, Jesus
    Ojeda-Aciego, Manuel
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 694 - 702
  • [36] Revisiting reductants in the multi-adjoint logic programming framework
    Julián-Iranzo, Pascual, 1600, Springer Verlag (8761):
  • [37] Towards a more practical hybrid probabilistic logic programming framework
    Saad, E
    Pontelli, E
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 67 - 82
  • [38] A FRAMEWORK FOR ICAI SYSTEMS BASED ON INDUCTIVE INFERENCE AND LOGIC PROGRAMMING
    KAWAI, K
    MIZOGUCHI, R
    KAKUSHO, O
    TOYODA, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 188 - 202
  • [39] Verifiable agent interaction in abductive logic programming:: The SCIFF framework
    Alberti, Marco
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Torroni, Paolo
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (04)
  • [40] A framework for assertion-based debugging in constraint logic programming
    Puebla, G
    Bueno, F
    Hermenegildo, M
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 472 - 472
12345