A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING

被引：2
|
作者：
SHIN, DW [1 ]
NANG, JH [1 ]
MAENG, SR [1 ]
CHO, JW [1 ]
机构：
[1] KAIST,DEPT COMP SCI,SEOUL 130650,SOUTH KOREA
来源：
NEW GENERATION COMPUTING | 1992年 / 10卷 / 02期
关键词：
LOGIC LANGUAGE; FUNCTIONAL LANGUAGE; TYPE; DATA ABSTRACTION; WARREN ABSTRACT MACHINE;
D O I：
10.1007/BF03037479
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O'Keefe's system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.
引用
收藏
页码：197 / 221
页数：25
相关论文
共 50 条
  • [41] Set Functions for Functional Logic Programming
    Antoy, Sergio
    Hanus, Michael
    PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 73 - 82
  • [42] Modularity in functional-logic programming
    MolinaBravo, JM
    Pimentel, E
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 183 - 197
  • [43] Typed Quantum Logic
    Kenji Tokuo
    International Journal of Theoretical Physics, 2003, 42 : 27 - 38
  • [44] Typed quantum logic
    Tokuo, K
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) : 27 - 38
  • [45] On the extension of logic programming with negation through uniform proofs
    Yuan, LY
    You, JH
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 231 - 244
  • [46] DWAM - A WAM MODEL EXTENSION FOR DISJUNCTIVE LOGIC PROGRAMMING
    RAJASEKAR, A
    YUSUF, H
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 275 - 308
  • [47] The refined extension principle for semantics of dynamic logic programming
    Alferes J.J.
    Banti F.
    Brogi A.
    Leite J.A.
    Studia Logica, 2005, 79 (1) : 7 - 32
  • [48] Dependently typed programming
    Mu, Shin-Cheng
    Mcbride, Conor
    Weirich, Stephanie
    Progress in Informatics, 2013, (10): : 149 - 155
  • [49] TYPED HORN LOGIC
    POIGNE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 470 - 477
  • [50] EXTENDED UNIFICATION ALGORITHMS FOR THE INTEGRATION OF FUNCTIONAL PROGRAMMING INTO LOGIC PROGRAMMING
    DINCBAS, M
    VANHENTENRYCK, P
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (03): : 199 - 227
12345