PARALLEL BACKTRACKING PROLOG ENGINE

被引：0
|
作者：
DEBLASI, M [1 ]
GENTILE, A [1 ]
LOPEZ, G [1 ]
FRANCO, A [1 ]
机构：
[1] UNIV BARI,IST SCI INFORMAZ,I-70126 BARI,ITALY
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1988年 / 24卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(88)90118-4
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
5
引用
收藏
页码：607 / 611
页数：5
相关论文
共 50 条
  • [41] USING THE REFORM INFERENCE SYSTEM FOR PARALLEL PROLOG
    MILLROTH, H
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 590 : 182 - 194
  • [42] PERFORMANCE ANALYSIS OF A PARALLEL PROLOG - A CORRELATED APPROACH
    DEKERGOMMEAUX, JC
    BARON, UC
    RAPP, W
    RATCLIFFE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 151 - 164
  • [43] Parallel evolutionary computing with the random PROLOG processor
    Szuba, T
    Stras, R
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1997, 47 (01) : 78 - 85
  • [44] Granularity control in the LOGFLOW parallel Prolog system
    Kacsuk, P
    ADVANCES IN HIGH PERFORMANCE COMPUTING, 1997, 30 : 201 - 218
  • [45] OR-PARALLEL OPTIMIZING PROLOG SYSTEM - POPS ITS DESIGN AND IMPLEMENTATION IN CONCURRENT PROLOG
    HIRAKAWA, H
    ONAI, R
    FURUKAWA, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 114 - 129
  • [46] A Linear Reduction Model for Parallel Prolog System
    Zhang, Wei
    Hong, Shenggui
    2019 IEEE 4TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA), 2019, : 650 - 654
  • [47] Or-parallel Prolog on a distributed memory architecture
    Silva, F
    Watson, P
    JOURNAL OF LOGIC PROGRAMMING, 2000, 43 (02): : 173 - 186
  • [48] A PARALLEL PROLOG RESOLUTION BASED ON MULTIPLE UNIFICATIONS
    VLAHAVAS, I
    KEFALAS, P
    PARALLEL COMPUTING, 1992, 18 (11) : 1275 - 1283
  • [49] PROLOG INTERPRETER AND ITS PARALLEL EXTENSION.
    Matsumoto, Yuji
    Nitta, Katsumi
    Furukawa, Koichi
    Lecture Notes in Computer Science, 1984, : 52 - 67
  • [50] AND-OR PARALLEL PROLOG - A RECOMPUTATION BASED APPROACH
    GUPTA, G
    HERMENEGILDO, MV
    COSTA, VS
    NEW GENERATION COMPUTING, 1993, 11 (3-4) : 297 - 321
12345