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 条
  • [21] OR-PARALLEL EXECUTION MODELS OF PROLOG
    WARREN, DHD
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 243 - 259
  • [22] Parallel execution of Prolog with granularity control
    Araujo, L
    Ruz, JJ
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 1998, 13 (06): : 421 - 441
  • [23] Parallel execution of Prolog with granularity control
    Araujo, Lourdes
    Ruz, Jose J.
    Future Generation Computer Systems, 1998, 13 (06): : 421 - 441
  • [24] PROLOG - A NEW PARALLEL EVALUATION SCHEME
    HANNEQUIN, I
    GONCALVES, G
    LECOUFFE, P
    TOURSEL, B
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 391 - 396
  • [25] 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
    NEW GENERATION COMPUTING, 1990, 7 (2-3) : 243 - 271
  • [26] THE MUSE APPROACH TO OR-PARALLEL PROLOG
    ALI, KAM
    KARLSSON, R
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (02) : 129 - 162
  • [27] OPTIMAL IMPLEMENTATION OF AND-OR-PARALLEL-PROLOG
    GUPTA, G
    COSTA, VS
    FUTURE GENERATION COMPUTER SYSTEMS, 1994, 10 (01) : 71 - 92
  • [28] A PARALLEL IMPLEMENTATION OF FLAT CONCURRENT PROLOG
    TAYLOR, S
    SAFRA, S
    SHAPIRO, E
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (03) : 245 - 275
  • [29] A parallel prolog system for distributed memory
    Araujo, L
    Ruz, JJ
    JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (01): : 49 - 79
  • [30] ORBIT - A PARALLEL COMPUTING MODEL OF PROLOG
    YASUHARA, H
    NITADORI, K
    NEW GENERATION COMPUTING, 1984, 2 (03) : 277 - 288