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 条
  • [41] Evaluation strategies for functional logic programming
    Antoy, S
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) : 875 - 903
  • [42] Set Functions for Functional Logic Programming
    Antoy, Sergio
    Hanus, Michael
    PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 73 - 82
  • [43] Modularity in functional-logic programming
    MolinaBravo, JM
    Pimentel, E
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 183 - 197
  • [44] Implementing randomised algorithms in constraint logic programming
    Angelopoulos, N
    Di Pierro, A
    Wiklicky, H
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 355 - 356
  • [45] Towards the integration of inductive and nonmonotonic logic programming
    Sakama, Chiaki
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2281 : 178 - 188
  • [46] A Faithful Integration of Description Logics with Logic Programming
    Motik, Boris
    Rosati, Riccardo
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 477 - 482
  • [47] AN INTEGRATION OF LOGIC AND OBJECT-ORIENTED PROGRAMMING
    MELLENDER, F
    SIGPLAN NOTICES, 1988, 23 (10): : 181 - 185
  • [48] Coherent integration of databases by abductive logic programming
    Arieli, O
    Denecker, M
    Van Nuffelen, B
    Bruynooghe, M
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2004, 21 : 245 - 286
  • [49] A higher order rewriting logic for functional logic programming
    GonzalezMoreno, JC
    HortalaGonzalez, MT
    RodriguezArtalejo, M
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 153 - 167
  • [50] Design and implementation of a fuzzy logic programming language using weak unification
    Rubio Manzano, Clemente
    AI COMMUNICATIONS, 2012, 25 (04) : 365 - 367
12345