THE SHARING OF ENVIRONMENT IN AND-PARALLEL AND OR-PARALLEL EXECUTIONS OF LOGIC PROGRAMS

被引：0
|
作者：
SUN, CZ
CI, YG
机构：
来源：
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY | 1990年 / 33卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：467 / 476
页数：10
相关论文
共 50 条
  • [31] STUDY OF A PARALLEL INFERENCE MACHINE FOR PARALLEL EXECUTION OF LOGIC PROGRAMS
    YAOQING, G
    CHENGZHENG, S
    SHOUREN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 143 - 153
  • [32] A COMPARATIVE-STUDY OF UNIFICATION ALGORITHMS FOR OR-PARALLEL EXECUTION OF LOGIC LANGUAGES
    CRAMMOND, J
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (10) : 911 - 917
  • [33] THE MUSE APPROACH TO OR-PARALLEL PROLOG
    ALI, KAM
    KARLSSON, R
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (02) : 129 - 162
  • [34] THE AURORA OR-PARALLEL PROLOG SYSTEM
    LUSK, E
    BUTLER, R
    DISZ, T
    OLSON, R
    OVERBEEK, R
    STEVENS, R
    WARREN, DHD
    CALDERWOOD, A
    SZEREDI, P
    HARIDI, S
    BRAND, P
    CARLSSON, M
    CIEPIELEWSKI, A
    HAUSMAN, B
    [J]. NEW GENERATION COMPUTING, 1990, 7 (2-3) : 243 - 271
  • [35] A PARALLEL EXECUTION MODEL OF LOGIC PROGRAMS
    CHEN, AC
    WU, CL
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1991, 2 (01) : 79 - 92
  • [36] A MULTITRANSPUTER ARCHITECTURE FOR PARALLEL LOGIC PROGRAMS
    BISWAS, P
    SU, SC
    WRIGHT, D
    [J]. PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 70 - 79
  • [37] Parallel complexity of simple logic programs
    Afrati, Foto
    Papadimitriou, Christos H.
    [J]. 1600, (40):
  • [38] THE PARALLEL COMPLEXITY OF SIMPLE LOGIC PROGRAMS
    AFRATI, F
    PAPADIMITRIOU, CH
    [J]. JOURNAL OF THE ACM, 1993, 40 (04) : 891 - 916
  • [39] ANALYSIS OF OR-PARALLEL EXECUTION MODELS
    GUPTA, G
    JAYARAMAN, B
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (04): : 659 - 680
  • [40] OR-PARALLEL EXECUTION MODELS OF PROLOG
    WARREN, DHD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 243 - 259
12345