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 条
  • [1] Integration of functional and logic programming
    Hanus, M
    Kuchen, H
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (02) : 306 - 308
  • [2] On a tighter integration of functional and logic programming
    Brassel, Bernd
    Huch, Frank
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 122 - 138
  • [3] EXTENDED LOGIC-PLUS-FUNCTIONAL PROGRAMMING
    BOLEY, H
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 45 - 72
  • [4] Unification of arrays in spreadsheets with logic programming
    Cox, Philip T.
    Nicholson, Patrick
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2008, 4902 : 100 - 115
  • [5] Selective Unification in (Constraint) Logic Programming
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. FUNDAMENTA INFORMATICAE, 2020, 177 (3-4) : 359 - 383
  • [6] Selective Unification in Constraint Logic Programming
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), 2017, : 115 - 126
  • [7] UNIFICATION AS A COMPLEXITY MEASURE FOR LOGIC PROGRAMMING
    ITAI, A
    MAKOWSKY, JA
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (02): : 105 - 117
  • [8] Functional Logic Programming
    Antoy, Sergio
    Hanus, Michael
    [J]. COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 74 - 85
  • [9] COMPUTATIONALLY EXTENDED LOGIC PROGRAMMING
    RUBENSTEIN, MC
    SALTER, RM
    [J]. COMPUTER LANGUAGES, 1987, 12 (01): : 1 - 7
  • [10] Algorithms and Logic as Programming Primers
    Niemela, Pia
    Valmari, Antti
    Ali-Loytty, Simo
    [J]. COMPUTER SUPPORTED EDUCATION, 2019, 1022 : 357 - 383
12345