OR-PARALLEL OPTIMIZING PROLOG SYSTEM - POPS ITS DESIGN AND IMPLEMENTATION IN CONCURRENT PROLOG

被引：0
|
作者：
HIRAKAWA, H [1 ]
ONAI, R [1 ]
FURUKAWA, K [1 ]
机构：
[1] INST NEW GENERAT COMP TECHNOL,RES CTR,MINATO KU,TOKYO 108,JAPAN
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 220卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：114 / 129
页数：16
相关论文
共 50 条
  • [1] OR-PARALLEL PROLOG IN FLAT CONCURRENT PROLOG
    SHAPIRO, E
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 243 - 267
  • [2] On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
    Santos, Joao
    Rocha, Ricardo
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 899 - 915
  • [3] 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
  • [4] THE MUSE APPROACH TO OR-PARALLEL PROLOG
    ALI, KAM
    KARLSSON, R
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (02) : 129 - 162
  • [5] OR-PARALLEL EXECUTION MODELS OF PROLOG
    WARREN, DHD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 243 - 259
  • [6] PERFORMANCE ANALYSIS OF THE AURORA OR-PARALLEL PROLOG SYSTEM
    SZEREDI, P
    [J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 713 - 732
  • [7] Application of an OR-parallel prolog system to phylogenetic analysis
    Matsuda, Hideo
    Kaneda, Yukio
    [J]. LISP and Symbolic Computation, 1994, 7 (2-3): : 211 - 229
  • [8] A PARALLEL IMPLEMENTATION OF FLAT CONCURRENT PROLOG
    TAYLOR, S
    SAFRA, S
    SHAPIRO, E
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (03) : 245 - 275
  • [9] YapDss: An Or-parallel prolog system for scalable Beowulf clusters
    Rocha, R
    Silva, F
    Martins, R
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE-B, 2003, 2902 : 136 - 150
  • [10] OR-PARALLEL PROLOG ON SHARED MEMORY MULTIPROCESSORS
    CIEPIELEWSKI, A
    HARIDI, S
    HAUSMAN, B
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (02): : 125 - 147
12345