NARROWER - A NEW ALGORITHM FOR UNIFICATION AND ITS APPLICATION TO LOGIC PROGRAMMING

被引：0
|
作者：
RETY, P
KIRCHNER, C
KIRCHNER, H
LESCANNE, P
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：141 / 157
页数：17
相关论文
共 50 条
  • [1] RECURRENCE DOMAINS - THEIR UNIFICATION AND APPLICATION TO LOGIC PROGRAMMING
    CHEN, H
    HSIANG, J
    [J]. INFORMATION AND COMPUTATION, 1995, 122 (01) : 45 - 69
  • [2] LOGIC PROGRAMMING WITH TYPED UNIFICATION AND ITS REALIZATION ON AN ABSTRACT MACHINE
    BEIERLE, C
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1992, 36 (03) : 375 - 390
  • [3] Unification of arrays in spreadsheets with logic programming
    Cox, Philip T.
    Nicholson, Patrick
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2008, 4902 : 100 - 115
  • [4] Selective Unification in (Constraint) Logic Programming
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. FUNDAMENTA INFORMATICAE, 2020, 177 (3-4) : 359 - 383
  • [5] 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
  • [6] UNIFICATION AS A COMPLEXITY MEASURE FOR LOGIC PROGRAMMING
    ITAI, A
    MAKOWSKY, JA
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (02): : 105 - 117
  • [7] EXTENDED UNIFICATION ALGORITHMS FOR THE INTEGRATION OF FUNCTIONAL PROGRAMMING INTO LOGIC PROGRAMMING
    DINCBAS, M
    VANHENTENRYCK, P
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (03): : 199 - 227
  • [8] Anti-unification in Constraint Logic Programming
    Yernaux, Gonzague
    Vanhoof, Wim
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (5-6) : 773 - 789
  • [9] A NEW APPROACH TO UNIVERSAL UNIFICATION AND ITS APPLICATION TO AC-UNIFICATION
    FRANZEN, M
    HENSCHEN, LJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 643 - 657
  • [10] Prioritized logic programming and its application to commonsense reasoning
    Sakama, C
    Inoue, K
    [J]. ARTIFICIAL INTELLIGENCE, 2000, 123 (1-2) : 185 - 222
12345