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] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    [J]. INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
  • [32] A META-LOGIC FOR FUNCTIONAL PROGRAMMING
    HANNAN, J
    MILLER, D
    [J]. META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 453 - 476
  • [33] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [34] RETRACTIONS - A FUNCTIONAL PARADIGM FOR LOGIC PROGRAMMING
    BELLIA, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 260 - 275
  • [35] Constraint Functional Logic Programming Revisited
    Javier Lopez-Fraguas, F.
    Rodriguez-Artalejo, Mario
    del Vado Virseda, Rafael
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 5 - 50
  • [36] A TYPED FUNCTIONAL EXTENSION OF LOGIC PROGRAMMING
    SHIN, DW
    NANG, JH
    MAENG, SR
    CHO, JW
    [J]. NEW GENERATION COMPUTING, 1992, 10 (02) : 197 - 221
  • [37] LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
    BROGI, A
    MANCARELLA, P
    PEDRESCHI, D
    TURINI, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 372 - 386
  • [38] Set Functions for Functional Logic Programming
    Antoy, Sergio
    Hanus, Michael
    [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 73 - 82
  • [39] Evaluation strategies for functional logic programming
    Antoy, S
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) : 875 - 903
  • [40] LOGIC PROGRAMMING WITH EXTERNAL PROCEDURES - INTRODUCING S-UNIFICATION
    LESZCZYLOWSKI, J
    BONNIER, S
    MALUSZYNSKI, J
    [J]. INFORMATION PROCESSING LETTERS, 1988, 27 (03) : 159 - 165
12345