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 条
  • [21] A 2-LEVEL APPROACH TO LOGIC PLUS FUNCTIONAL PROGRAMMING INTEGRATION
    BELLIA, M
    BOSCO, PG
    GIOVANNETTI, E
    LEVI, G
    MOISO, C
    PALAMIDESSI, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 258 : 374 - 393
  • [22] FPL - FUNCTIONAL PLUS LOGIC PROGRAMMING - AN INTEGRATION OF THE FP AND PROLOG LANGUAGES
    LICHTENSTEIN, N
    KAPLAN, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 287 - 294
  • [23] Logic programming and constraint logic programming
    Cohen, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [24] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [25] Iterative belief revision in extended logic programming
    You, JH
    Cartwright, R
    Li, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 383 - 406
  • [26] Compiling default theory into extended logic programming
    Garcia, BB
    Lopes, GP
    Varejao, F
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 207 - 216
  • [27] Extended multi-adjoint logic programming
    Eugenia Cornejo, M.
    Lobo, David
    Medina, Jesus
    [J]. FUZZY SETS AND SYSTEMS, 2020, 388 : 124 - 145
  • [28] NARROWER - A NEW ALGORITHM FOR UNIFICATION AND ITS APPLICATION TO LOGIC PROGRAMMING
    RETY, P
    KIRCHNER, C
    KIRCHNER, H
    LESCANNE, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 141 - 157
  • [29] 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
  • [30] Semantics and types in functional logic programming
    González-Moreno, JC
    Hortalá-González, MT
    Rodríguez-Artalejo, M
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 1 - 20
12345