COMPOSING RECURSIVE LOGIC PROGRAMS WITH CLAUSAL JOIN

被引：7
|
作者：
LAKHOTIA, A
STERLING, L
机构：
来源：
NEW GENERATION COMPUTING | 1988年 / 6卷 / 2-3期
关键词：
D O I：
10.1007/BF03037138
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：211 / 225
页数：15
相关论文
共 50 条
  • [31] A NOTE ON FIXPOINT TECHNIQUES IN DATA-BASE RECURSIVE LOGIC PROGRAMS
    GUESSARIAN, I
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 49 - 56
  • [32] Constructing decision procedures in equational clausal logic
    Peltier, N
    [J]. FUNDAMENTA INFORMATICAE, 2003, 54 (01) : 17 - 65
  • [33] An approach to composing parallel programs
    Thorelli, LE
    Vlassov, V
    [J]. PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 371 - 378
  • [34] Composing model programs for analysis
    Veanes, Margus
    Jacky, Jonathan
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 467 - 482
  • [35] On composing problems and parallel programs
    Horvath, Z
    Kozsik, T
    Venczel, T
    [J]. 1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 225 - 226
  • [36] NECESSARY AND SUFFICIENT CONDITIONS TO LINEARIZE DOUBLY RECURSIVE-PROGRAMS IN LOGIC DATABASES
    ZHANG, WN
    YU, CT
    TROY, D
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1990, 15 (03): : 459 - 482
  • [37] Composing Bidirectional Programs Monadically
    Xia, Li-yao
    Orchard, Dominic
    Wang, Meng
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2019, 11423 : 147 - 175
  • [38] Correcting Missing Data Anomalies with Clausal Defeasible Logic
    Darcy, Peter
    Stantic, Bela
    Sattar, Abdul
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2010, 6295 : 149 - 163
  • [39] Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
    Kaminski, Mark
    Smolka, Gert
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 417 - 431
  • [40] EXTENDED OMEGA+ VALUED ALGORITHMIC LOGIC - FORMALIZED THEORY OF PROGRAMS WITH RECURSIVE PROCEDURES
    RASIOWA, H
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1974, 22 (06): : 605 - 610
12345