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 条

[41] Parallel abstract machine model of function language for transputer network
Yuan, Wei
Sun, Yongqiang
Ruan Jian Xue Bao/Journal of Software, 1995, 6 (08):
[42] AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
HERMENEGILDO, MV
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 25 - 39
[43] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS
FAGIN, BS
DESPAIN, AM
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
[44] TRANSPUTER-BASED IMPLEMENTATION AND EVALUATION OF PARALLEL PROLOG INTERPRETER
AVVENUTI, M
CORSINI, P
FROSINI, G
INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (07) : 453 - 465
[45] RETRACTIONS IN COMPARING PROLOG SEMANTICS (EXTENDED ABSTRACT)
DEBRUIN, A
DEVINK, EP
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 180 - 186
[46] POLYMORPHIC TYPE INFERENCE IN PROLOG BY ABSTRACT INTERPRETATION
HORIUCHI, K
KANAMORI, T
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 195 - 214
[47] Meta-circular abstract interpretation in prolog
Codish, Michael
Søndergaard, Harald
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2566 LNCS : 109 - 134
[48] A PROLOG PREPROCESSOR FOR WARREN ABSTRACT INSTRUCTION SET
KNODLER, B
ROSENSTIEL, W
MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 71 - 79
[49] PROLOG IMPLEMENTATIONS ON PARALLEL COMPUTERS
KACSUK, P
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 166 - 175
[50] Meta-circular abstract interpretation in prolog
Codish, M
Sondergaard, H
ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 109 - 134

← 1 2 3 4 5 →