EXTENDED UNIFICATION ALGORITHMS FOR THE INTEGRATION OF FUNCTIONAL PROGRAMMING INTO LOGIC PROGRAMMING

被引：12
|
作者：
DINCBAS, M [1 ]
VANHENTENRYCK, P [1 ]
机构：
[1] EUROPEAN COMP RES CTR,D-8000 MUNCHEN 81,FED REP GER
来源：
JOURNAL OF LOGIC PROGRAMMING | 1987年 / 4卷 / 03期
关键词：
D O I：
10.1016/0743-1066(87)90002-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：199 / 227
页数：29
相关论文
共 50 条
  • [31] NARROWER - A NEW ALGORITHM FOR UNIFICATION AND ITS APPLICATION TO LOGIC PROGRAMMING
    RETY, P
    KIRCHNER, C
    KIRCHNER, H
    LESCANNE, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 141 - 157
  • [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] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
  • [34] A META-LOGIC FOR FUNCTIONAL PROGRAMMING
    HANNAN, J
    MILLER, D
    META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 453 - 476
  • [35] RETRACTIONS - A FUNCTIONAL PARADIGM FOR LOGIC PROGRAMMING
    BELLIA, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 260 - 275
  • [36] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [37] LOGIC PROGRAMMING WITH EXTERNAL PROCEDURES - INTRODUCING S-UNIFICATION
    LESZCZYLOWSKI, J
    BONNIER, S
    MALUSZYNSKI, J
    INFORMATION PROCESSING LETTERS, 1988, 27 (03) : 159 - 165
  • [38] LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
    BROGI, A
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 372 - 386
  • [39] 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
  • [40] A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING
    SHIN, DW
    NANG, JH
    MAENG, SR
    CHO, JW
    NEW GENERATION COMPUTING, 1992, 10 (02) : 197 - 221
12345