AN ABSTRACT PROLOG MACHINE BASED ON PARALLEL RESOLUTION PRINCIPLE

被引：1
|
作者：
VLAHAVAS, I [1 ]
KEFALAS, P [1 ]
机构：
[1] ARISTOTELIAN UNIV SALONIKA,DEPT PHYS,DIGITAL SYST & COMP LAB,GR-5400L SALONIKA,GREECE
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1992年 / 35卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(92)90399-R
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We describe an abstract machine, called SPUM, for the AND parallel execution of Prolog programs. We also present a resolution algorithm for logic programs, on which the SPUM architecture is based. The algorithm, called SPU, is based on parallel resolution principle and allows parallel execution of unifications of a deterministic path of the proof tree, giving in effect dependent and-parallelism. We also present preliminary results which are indicative of the performance expected from SPUM.
引用
收藏
页码：755 / 762
页数：8
相关论文
共 50 条
  • [1] A PARALLEL PROLOG ABSTRACT MACHINE AND ITS MULTITRANSPUTER IMPLEMENTATION
    KACSUK, P
    COMPUTER JOURNAL, 1991, 34 (01): : 52 - 63
  • [2] AN ABSTRACT MACHINE TO IMPLEMENT OR-AND PARALLEL PROLOG EFFICIENTLY
    DEKERGOMMEAUX, JC
    ROBERT, P
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 249 - 264
  • [3] THE AND OR PARALLEL PROLOG MACHINE APIM - EXECUTION MODEL AND ABSTRACT DESIGN
    VLAHAVAS, I
    KEFALAS, P
    JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (04): : 245 - 261
  • [4] A PARALLEL PROLOG RESOLUTION BASED ON MULTIPLE UNIFICATIONS
    VLAHAVAS, I
    KEFALAS, P
    PARALLEL COMPUTING, 1992, 18 (11) : 1275 - 1283
  • [5] DATA-FLOW AND LOGICFLOW MODELS FOR DEFINING A PARALLEL PROLOG ABSTRACT MACHINE
    KACSUK, P
    PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 289 - 298
  • [6] LAM: Another prolog abstract machine
    Li, XN
    Yao, YY
    1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 310 - 313
  • [7] A VERIFIED PROLOG COMPILER FOR THE WARREN ABSTRACT MACHINE
    RUSSINOFF, DM
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (04): : 367 - 412
  • [8] A SEQUENTIAL ABSTRACT MACHINE FOR FLAT CONCURRENT PROLOG
    HOURI, A
    SHAPIRO, E
    JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (02): : 85 - 123
  • [9] PARALLEL PROLOG MACHINE PARK - ITS HARDWARE STRUCTURE AND PROLOG SYSTEM
    MATSUDA, H
    KOHATA, M
    MASUO, T
    KANEDA, Y
    MAEKAWA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 35 - 43
  • [10] NOTES ON PROLOG PROGRAM TRANSFORMATIONS, PROLOG STYLE, AND EFFICIENT COMPILATION TO THE WARREN ABSTRACT MACHINE
    BUTLER, RM
    LOGANANTHARAJ, R
    OLSON, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 323 - 332
12345