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 条
  • [31] A higher order rewriting logic for functional logic programming
    GonzalezMoreno, JC
    HortalaGonzalez, MT
    RodriguezArtalejo, M
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 153 - 167
  • [32] Semantics and types in functional logic programming
    González-Moreno, JC
    Hortalá-González, MT
    Rodríguez-Artalejo, M
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 1 - 20
  • [33] RETRACTIONS - A FUNCTIONAL PARADIGM FOR LOGIC PROGRAMMING
    BELLIA, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 260 - 275
  • [34] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [35] Constraint Functional Logic Programming Revisited
    Javier Lopez-Fraguas, F.
    Rodriguez-Artalejo, Mario
    del Vado Virseda, Rafael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 5 - 50
  • [36] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
  • [37] A META-LOGIC FOR FUNCTIONAL PROGRAMMING
    HANNAN, J
    MILLER, D
    META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 453 - 476
  • [38] On a tighter integration of functional and logic programming
    Brassel, Bernd
    Huch, Frank
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 122 - 138
  • [39] LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
    BROGI, A
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 372 - 386
  • [40] Evaluation strategies for functional logic programming
    Antoy, S
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) : 875 - 903
12345