Implementations of Distributed Prolog

496 Pages·1992·102.781 MB·English

by  edited by Peter Kacsuk and Michael Wise

IMPLEMENTATIONS
OFD ISTRIBUTED
PROLOG
G?) WILYE SERIINEPA SR ALCLOEMLP UTING
SEREIDEIST ORS:
A.BGa.Ob rbe,Gg roandC ueanUttSeeA r,
J.W. deB akCkeenrtv,roWu oimrs keunln ndfeo rmatica,
ThNee therlands
M. HennUensisvoeySfr,u s siUstKey x ,
R. OldeChooleoSftrta,Uadn toie v UeSrsAi ty,
D. SimpBsrioPgnoh,lt oytneU cKh nic,
Carey (ed.): Parallel Supercomputing: Methods, Algorithms and Applications
de Bakker (ed.): Languages for Parallel Architectures: Design, Semantics,
Implementation Models
Axford: Concurrent Programming: Fundamental Techniques for Real-Time and Parallel
Software Design
Gelenbe: Multiprocessor Performance
Treleaven (ed.): Parallel Computers: Object-oriented, Functional, Logic
Williams: Programming Models for Parallel Systems
Raynal and Helary: Synchronization and Control of Distributed Systems
and Programs
Eliens: DLP-A Language for Distributed Logic Programming: Design,
Semantics and Implementation
Kacsuk and Wise (eds): Implementations of Distributed Prolog
IMPLEMENTATIONS
OFD ISTRIBUTED
PROLOG
Editbeyd
PetKearc suk
KFKI Research Institute for Measurement and Computing
Techniques, Hungary
and
MichaWeils e
University of Sydney, Australia
JOHN WILEY & SONS
Chichester · New York · Brisbane · Toronto · Singapore
Copyright © 1992 by John Wiley & Sons Ltd.
Baffins Lane, Chichester
West Sussex PO19 1UD, England
All rights reserved.
No part of this book may be reproduced by any means,
or transmitted, or translated into a machine language
without the written permission of the publisher.
Other Wiley Editorial Offices
John Wiley & Sons, Inc., 605 Third Avenue,
New York, NY 10158-0012, USA
Jacaranda Wiley Ltd, G.P.O. Box 859, Brisbane,
Queensland 4001, Australia
John Wiley & Sons (Canada) Ltd, 22 Worcester Road,
Rexdale, Ontario M9W lLl, Canada
John Wiley & Sons (SEA) Pte Ltd, 37 Jalan Pemimpin 05-04,
Block B, Union Industrial Building, Singapore 2057
BritiLsihb raCrya talogiunPi unbgli catDiaotna
A catalogue record for this book is available
from the British Library
ISBN O 471 93116 0
Printed and bound in Great Britain by
Courier International Limited, East Kilbride, Scotland
Contents
Foreword xi
List of Contributors xviv
PART I OR-PARALLEL IMPLEMENTATIONS OF PROLOG 1
1 OR-Parallel Logic Computational Models 3
S. A. Delgado-Rannauro
l. Concepts and methods 3
2. The shared binding environment family 6
3. The closed binding environment family 16
4. Recomputation family 20
5. Summary 24
Acknowledgements 26
2 Parallel Prolog on a Scalable Multiprocessor 27
S. Raina, D. H. D. Warren and J. Cownie
l. Introduction 27
2. Parallel Prolog implementations 28
3. MIMD multiprocessors 29
4. Related work on scalable architectures 30
5. The Data Diffusion Machine 31
6. A Transputer-based emulation of the DOM 32
7. Aurora and Andorra-I on the DDM emulator 41
8. Conclusion and future work 43
Acknowledgements 44
3 OPERA: OR-Parallel Prolog System on Supernode 45
J. Briat, M. Favre, C. Geyer and J. Chassin de Kergommeaux
l . Introduction 45
2, Architecture of the Supernode 47
3. The OPERA computational model 48
4. Scheduling of work 54
5. Implementation and preliminary results 59
6. Related work 61
7. Conclusion 63
Acknowledgements 63
vi CONTENTS
4 A DistriIbnutteerdpf roIernt heerr AeNnDt/ OPRa ralle6l5i sm
M. Avvenuti, P. Corsini and G. Frosini
1. Introduction 65
2. The parallel execution model 66
3. Implementing the interpreter 72
4. Performance evaluation 79
5. A model optimization 83
6. Conclusions and future work 85
Appendix 1: The benchmark programs 86
5 DistriDbauttDaer di vPerno lAobgs trMaaccth ine 89
P. Kacsuk
1. Introduction 89
2. Graph representation of Prolog programs 90
3. Parallel execution 92
4. General view of the 3DPAM 97
5. Machine registers and data structures 98
6. Abstract instruction set 101
7. Variable binding 112
8. Comparison with related research 115
Conclusions 117
Acknowledgements 118
PARITI A ND-ANDA ND/OR-PARALLEL
IMPLEMENTAOTFIP ORNOSL OG 119
6 RestrAiNcDt-aendd A ND/OR-PaLroaglilce l
ComputatMioodnealls 121
S. A. Delgado-Rannauro
1. Restricted AND-Parallel logic models 121
2. AND/OR-Parallel logic models 132
3. Summary 140
Acknowledgements 141
7 AnA ND-ParDailslterli PbruotlEeoxdge cutor 143
A. Verden and H. Glaser
1. Introduction 143
2. An example execution 145
3. Communicating variable bindings 146
4. The Execution scheme 147
5. Clause level intelligent backtracking 151
6. Evaluation of our implementation 153
7. Conclusions 156
Appendix 157
CONTENTS vii
8 The OPAL Machine 159
J. S. Conery
159
1. Background: OPAL and the AND/OR model
165
2. Modules of an OPAL implementation 161
3. Control: processes and continuations
179
4. Unification: closed environments 171
181
5. Performance
182
6. Acknowledgements
7. The OM instruction set
9 The Reduce-OR Process Model for Parallel Logic
Programming on Non-shared Memory Machines
187
L. V. Kale and B. Ramkumar
188
1. Introduction 187
191
2. The Reduce-OR process model
205
3. The Binding environment
207
4. Compiled execution
5. Performance
6. Summary 212
10 An Actor-oriented Computer for Logic and its
Applications
213
C. Percebois, N. Signes and L. Selle
213
215
1. Committed-choice languages vs non-deterministic systems
2. The COALA goal rewriting system
3. Implementation of the parallel execution model 219
227
4. Independent AND-Parallelism 223
5. SEARCH-Parallelism
6. The CIAM abstract machine 228
235
· 7. Preliminary results 234
235
Summary and conclusion
Acknowledgements
PART Ill COMMITTED CHOICE LANGUAGES
237
11 Stream AND-Parallel Logic Computational Models
239
S. A.D elgado-Rannauro
1. Concepts 239
246
2. CCND languages 241
256
3. Architectural models for CCN D languages
257
4. Summary
Acknowledgements