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 条
  • [1] TYPED FUNCTIONAL PROGRAMMING
    HUANG, WT
    YOU, DC
    SIGPLAN NOTICES, 1986, 21 (02): : 22 - 26
  • [2] Typed contracts for functional programming
    Hinze, Ralf
    Jeuring, Johan
    Loh, Andres
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2006, 3945 : 208 - 225
  • [3] MSVL: a typed language for temporal logic programming
    Xiaobing Wang
    Cong Tian
    Zhenhua Duan
    Liang Zhao
    Frontiers of Computer Science, 2017, 11 : 762 - 785
  • [4] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [5] Live Functional Programming with Typed Holes
    Omar, Cyrus
    Voysey, Ian
    Chugh, Ravi
    Hammer, Matthew A.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [6] Automation for Dependently Typed Functional Programming
    Wilson, Sean
    Fleuriot, Jacques
    Smaill, Alan
    FUNDAMENTA INFORMATICAE, 2010, 102 (02) : 209 - 228
  • [7] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [8] Improving computations in a typed functional logic language
    Almendros-Jiménez, JM
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 438 - 454
  • [9] Functional Logic Programming
    Antoy, Sergio
    Hanus, Michael
    COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 74 - 85
  • [10] Logic programming with typed unification and its realization on an abstract machine
    Beierle, C., 1600, (36):
12345