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 条
  • [1] CONCURRENT OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK
    MELLO, P
    SIGPLAN NOTICES, 1989, 24 (04): : 37 - 39
  • [2] A logic programming framework for modeling temporal objects
    Kesim, FN
    Sergot, M
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) : 724 - 741
  • [3] LINEAR OBJECTS - A LOGIC FRAMEWORK FOR OPEN SYSTEM PROGRAMMING
    ANDREOLI, JM
    PARESCHI, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 448 - 450
  • [4] A HIGH-ORDER LOGIC PROGRAMMING FRAMEWORK FOR COMPLEX OBJECTS REASONING
    CHEN, QM
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 711 - 718
  • [5] A LOGIC FOR PROGRAMMING WITH COMPLEX OBJECTS
    KIFER, M
    WU, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 47 (01) : 77 - 120
  • [6] Programming with communicating nondeterministic logic objects
    Tse, ML
    Wong, WH
    Leung, HF
    SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 556 - 558
  • [7] A Framework for Linguistic Logic Programming
    Cao, Tru H.
    Noi, Nguyen V.
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2010, 25 (06) : 559 - 580
  • [8] OBJECTS IN CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    KAHN, K
    TRIBBLE, ED
    MILLER, MS
    BOBROW, DC
    SIGPLAN NOTICES, 1986, 21 (10): : 29 - 38
  • [9] OBJECTS IN CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    KAHN, K
    TRIBBLE, ED
    MILLER, MS
    BOBROW, DG
    SIGPLAN NOTICES, 1986, 21 (11): : 242 - 257
  • [10] AUTOMATA ON INFINITE OBJECTS AND THEIR APPLICATIONS TO LOGIC AND PROGRAMMING
    NIVAT, M
    SAOUDI, A
    INFORMATION AND COMPUTATION, 1989, 83 (01) : 41 - 64
12345