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 条
  • [31] ON PARALLEL UNIFICATION FOR PROLOG
    HARLAND, J
    JAFFAR, J
    NEW GENERATION COMPUTING, 1987, 5 (03) : 259 - 279
  • [32] PARALLEL COMPUTATION MODEL FOR PARALLEL PROLOG
    BLASKO, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 590 : 290 - 302
  • [33] BTJ/WYSE - a parallel deducing system based on PROLOG
    Jisuanji Gongcheng, 5 (14-16, 20):
  • [34] Linear tabulated resolution based on Prolog control strategy
    Shen, YD
    Yuan, LY
    You, JH
    Zhou, NF
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 71 - 103
  • [35] DESIGN OF A PROLOG-BASED MACHINE TRANSLATION SYSTEM
    MCCORD, MC
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 350 - 374
  • [36] Prolog-based prototyping software for machine vision
    Batchelor, BG
    Hack, R
    Jones, AC
    MACHINE VISION APPLICATIONS, ARCHITECTURES, AND SYSTEMS INTEGRATION V, 1996, 2908 : 234 - 248
  • [37] TOWARDS A VIRTUAL DATAFLOW-BASED PROLOG MACHINE
    ZHANG, K
    WILKINSON, B
    COMPUTING SYSTEMS, 1989, 4 (02): : 97 - 106
  • [38] Condensed graphs: A multi-level, parallel, abstract machine
    Morrison, JP
    Dalton, NJ
    HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, 2000, 541 : 237 - 252
  • [39] Communication scheme of parallel prolog
    Sheng, Suhua
    Zhong, Luo
    Li, Guiqing
    Wuhan Gongye Daxue Xuebao/Journal of Wuhan University of Technology, 1994, 16 (01):
  • [40] PARALLEL BACKTRACKING PROLOG ENGINE
    DEBLASI, M
    GENTILE, A
    LOPEZ, G
    FRANCO, A
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 607 - 611
12345